coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
acpi_sata.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __ACPI_SATA_H__
4 #define __ACPI_SATA_H__
5 
6 #include <stdint.h>
7 
8 void generate_sata_ssdt_ports(const char *scope, uint32_t enable_map);
9 
10 #endif
generate_sata_ssdt_ports
void generate_sata_ssdt_ports(const char *scope, uint32_t enable_map)
Definition: sata.c:23
uint32_t
unsigned int uint32_t
Definition: stdint.h:14