Searched refs:x86mc (Results 1 – 7 of 7) sorted by relevance
102 X86MachineClass *x86mc = X86_MACHINE_GET_CLASS(x86ms); in acpi_build_madt() local127 if (x86mc->apic_xrupt_override) { in acpi_build_madt()
643 X86MachineClass *x86mc = X86_MACHINE_CLASS(m); in pc_q35_machine_2_6_options() local648 x86mc->fwcfg_dma_enabled = false; in pc_q35_machine_2_6_options()657 X86MachineClass *x86mc = X86_MACHINE_CLASS(m); in pc_q35_machine_2_5_options() local660 x86mc->save_tsc_khz = false; in pc_q35_machine_2_5_options()
378 X86MachineClass *x86mc = X86_MACHINE_CLASS(oc); in x86_machine_class_init() local385 x86mc->save_tsc_khz = true; in x86_machine_class_init()386 x86mc->fwcfg_dma_enabled = true; in x86_machine_class_init()
750 X86MachineClass *x86mc = X86_MACHINE_CLASS(m); in pc_i440fx_machine_2_6_options() local755 x86mc->fwcfg_dma_enabled = false; in pc_i440fx_machine_2_6_options()764 X86MachineClass *x86mc = X86_MACHINE_CLASS(m); in pc_i440fx_machine_2_5_options() local767 x86mc->save_tsc_khz = false; in pc_i440fx_machine_2_5_options()
640 X86MachineClass *x86mc = X86_MACHINE_CLASS(oc); in microvm_class_init() local674 x86mc->fwcfg_dma_enabled = true; in microvm_class_init()
1763 X86MachineClass *x86mc = X86_MACHINE_CLASS(oc); in pc_machine_class_init() local1776 x86mc->apic_xrupt_override = true; in pc_machine_class_init()
1064 X86MachineClass *x86mc = X86_MACHINE_CLASS(mc); in tsc_khz_needed() local1065 return env->tsc_khz && x86mc->save_tsc_khz; in tsc_khz_needed()