Symbol: IA32_VMX_VIRTUAL_INTERRUPT_DELIVERY
sys/arch/amd64/amd64/vmm_machdep.c
7642
IA32_VMX_VIRTUAL_INTERRUPT_DELIVERY, 1)) {
sys/arch/amd64/amd64/vmm_machdep.c
7733
IA32_VMX_VIRTUAL_INTERRUPT_DELIVERY, 1)) {