63 static void acpi_dsdt_add_cpus(Aml *scope, VirtMachineState *vms)  in acpi_dsdt_add_cpus()
161                               VirtMachineState *vms)  in acpi_dsdt_add_pci()
210 static void acpi_dsdt_add_tpm(Aml *scope, VirtMachineState *vms)  in acpi_dsdt_add_tpm()
305 build_iort(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_iort()
471 build_spcr(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_spcr()
520 build_srat(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_srat()
577 build_gtdt(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_gtdt()
631 build_dbg2(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_dbg2()
702 build_madt(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_madt()
812                             VirtMachineState *vms, unsigned dsdt_tbl_offset)  in build_fadt_rev5()
842 build_dsdt(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_dsdt()
927 void virt_acpi_build(VirtMachineState *vms, AcpiBuildTables *tables)  in virt_acpi_build()
1098 void virt_acpi_setup(VirtMachineState *vms)  in virt_acpi_setup()