10 static void acpi_dsdt_add_pci_route_table(Aml *dev, uint32_t irq,  in acpi_dsdt_add_pci_route_table()
11                                           Aml *scope, uint8_t bus_num)  in acpi_dsdt_add_pci_route_table()
13     Aml *method, *crs;  in acpi_dsdt_add_pci_route_table()
17     Aml *rt_pkg = aml_varpackage(PCI_SLOT_MAX * PCI_NUM_PINS);  in acpi_dsdt_add_pci_route_table()
21             Aml *pkg = aml_package(4);  in acpi_dsdt_add_pci_route_table()
34         Aml *dev_gsi = aml_device("L%.02X%X", bus_num, i);  in acpi_dsdt_add_pci_route_table()
53 static void acpi_dsdt_add_pci_osc(Aml *dev)  in acpi_dsdt_add_pci_osc()
55     Aml *method, *UUID, *ifctx, *ifctx1, *elsectx, *buf;  in acpi_dsdt_add_pci_osc()
129 void acpi_dsdt_add_gpex(Aml *scope, struct GPEXConfig *cfg)  in acpi_dsdt_add_gpex()
132     Aml *method, *crs, *dev, *rbuf;  in acpi_dsdt_add_gpex()
164                 struct Aml *pkg = aml_package(2);  in acpi_dsdt_add_gpex()
272     Aml *dev_res0 = aml_device("%s", "RES0");  in acpi_dsdt_add_gpex()
289 void acpi_dsdt_add_gpex_host(Aml *scope, uint32_t irq)  in acpi_dsdt_add_gpex_host()