Symbol: VMCS_EOI_EXIT2
usr/src/uts/intel/io/vmm/intel/vmx.c
3608
vmcs_write(VMCS_EOI_EXIT2, ((uint64_t)tmrs[5] << 32) | tmrs[4]);
usr/src/uts/intel/io/vmm/intel/vmx.c
864
vmcs_write(VMCS_EOI_EXIT2, 0);