118 static void acpi_dsdt_add_cpus(Aml *scope, RISCVVirtState *s)  in acpi_dsdt_add_cpus()
125             Aml *dev;  in acpi_dsdt_add_cpus()
144 static void acpi_dsdt_add_plic_aplic(Aml *scope, uint8_t socket_count,  in acpi_dsdt_add_plic_aplic()
155         Aml *dev = aml_device("IC%.02X", socket);  in acpi_dsdt_add_plic_aplic()
160         Aml *crs = aml_resource_template();  in acpi_dsdt_add_plic_aplic()
169 acpi_dsdt_add_uart(Aml *scope, const MemMapEntry *uart_memmap,  in acpi_dsdt_add_uart()
172     Aml *dev = aml_device("COM0");  in acpi_dsdt_add_uart()
176     Aml *crs = aml_resource_template();  in acpi_dsdt_add_uart()
184     Aml *pkg = aml_package(2);  in acpi_dsdt_add_uart()
188     Aml *UUID = aml_touuid("DAFFD814-6EBA-4D8C-8A91-BC9BBF4AA301");  in acpi_dsdt_add_uart()
190     Aml *pkg1 = aml_package(1);  in acpi_dsdt_add_uart()
193     Aml *package = aml_package(2);  in acpi_dsdt_add_uart()
414     Aml *scope, *dsdt;  in build_dsdt()