Searched refs:virtual_interrupt_delivery (Results 1 – 1 of 1) sorted by relevance
175 static int virtual_interrupt_delivery; variable176 SYSCTL_INT(_hw_vmm_vmx_cap, OID_AUTO, virtual_interrupt_delivery, CTLFLAG_RD,177 &virtual_interrupt_delivery, 0, "APICv virtual interrupt delivery support");768 virtual_interrupt_delivery = 1; in vmx_init()770 &virtual_interrupt_delivery); in vmx_init()773 if (virtual_interrupt_delivery) { in vmx_init()1001 if (virtual_interrupt_delivery) { in vmx_vminit()1054 if (virtual_interrupt_delivery) { in vmx_vminit()1397 if (!extint_pending && virtual_interrupt_delivery) { in vmx_inject_interrupts()2422 if (virtual_interrupt_delivery) in vmx_exit_process()[all …]