Symbol: vmcs_idt_vectoring_err
sys/amd64/vmm/intel/vmx.c
2438
idtvec_err = vmcs_idt_vectoring_err();
sys/amd64/vmm/intel/vmx.c
2509
ts->errcode = vmcs_idt_vectoring_err();