Lines Matching refs:VirtMachineState

68 static void acpi_dsdt_add_cpus(Aml *scope, VirtMachineState *vms)  in acpi_dsdt_add_cpus()
124                               uint32_t irq, VirtMachineState *vms)  in acpi_dsdt_add_pci()
173 static void acpi_dsdt_add_tpm(Aml *scope, VirtMachineState *vms)  in acpi_dsdt_add_tpm()
276 build_iort(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_iort()
441 spcr_setup(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in spcr_setup()
476 build_srat(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_srat()
535 build_gtdt(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_gtdt()
596 build_dbg2(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_dbg2()
667 build_madt(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_madt()
775                             VirtMachineState *vms, unsigned dsdt_tbl_offset)  in build_fadt_rev6()
805 build_dsdt(GArray *table_data, BIOSLinker *linker, VirtMachineState *vms)  in build_dsdt()
894 void virt_acpi_build(VirtMachineState *vms, AcpiBuildTables *tables)  in virt_acpi_build()
1077 void virt_acpi_setup(VirtMachineState *vms)  in virt_acpi_setup()