Symbol: VMCS_EXIT_INTERRUPTION_INFO
sys/arch/amd64/amd64/vmm_machdep.c
4095
if (vmread(VMCS_EXIT_INTERRUPTION_INFO, &eii)) {
sys/arch/amd64/amd64/vmm_machdep.c
7912
vmx_dump_vmcs_field(VMCS_EXIT_INTERRUPTION_INFO, "Exit Int. Info");