Symbol: VMCS_EOI_EXIT1
usr/src/uts/intel/io/vmm/intel/vmx.c
3607
vmcs_write(VMCS_EOI_EXIT1, ((uint64_t)tmrs[3] << 32) | tmrs[2]);
usr/src/uts/intel/io/vmm/intel/vmx.c
863
vmcs_write(VMCS_EOI_EXIT1, 0);