/* SPDX-License-Identifier: GPL-2.0-only */ #ifndef __ACPI_SATA_H__ #define __ACPI_SATA_H__ #include <stdint.h> void generate_sata_ssdt_ports(const char *scope, uint32_t enable_map); #endif