1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <acpi/acpigen.h>
5 #include <acpi/acpi_sata.h>
8 * generate_sata_ssdt_ports("\_SB.PCI0.SATA", 0x3);
10 * Scope (\_SB.PCI0.SATA)
14 * Name (_ADR, 0x0000FFFF) // _ADR: Address
19 * Name (_ADR, 0x0001FFFF) // _ADR: Address
24 void generate_sata_ssdt_ports(const char *scope
, uint32_t enable_map
)
28 char port_name
[4] = "PR00";
30 acpigen_write_scope(scope
);
32 /* generate a device for every enabled port */
33 for (i
= 0; i
< 32; i
++) {
35 if (!(bit
& enable_map
))
38 port_name
[2] = '0' + i
/ 10;
39 port_name
[3] = '0' + i
% 10;
41 acpigen_write_device(port_name
);
43 acpigen_write_name_dword("_ADR", 0xffff + i
* 0x10000);
44 acpigen_pop_len(); /* close PRT%d */
47 acpigen_pop_len(); /* close scope */