| Martin Roth | 4a45ab8 | 2019-09-23 18:23:02 -0600 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
| 2 | /* This file is part of the coreboot project. */ |
| Martin Roth | 1766b1e | 2016-01-12 15:58:57 -0700 | [diff] [blame] | 3 | |
| Martin Roth | 1cd303a | 2017-07-23 21:07:50 -0600 | [diff] [blame] | 4 | #ifndef __ACPI_SATA_H__ |
| 5 | #define __ACPI_SATA_H__ |
| 6 | |
| Alexander Couzens | 7710379 | 2015-04-16 02:03:26 +0200 | [diff] [blame] | 7 | #include <stdint.h> |
| 8 | |
| 9 | void generate_sata_ssdt_ports(const char *scope, uint32_t enable_map); |
| Martin Roth | 1cd303a | 2017-07-23 21:07:50 -0600 | [diff] [blame] | 10 | |
| 11 | #endif |