Symbol: VMCS_EOI_EXIT
sys/amd64/vmm/intel/vmx.c
3913
val = vmcs_read(VMCS_EOI_EXIT(vector));
sys/amd64/vmm/intel/vmx.c
3918
vmcs_write(VMCS_EOI_EXIT(vector), val);