Symbol: VMCS_EOI_EXIT3
usr/src/uts/intel/io/vmm/intel/vmx.c
3609
vmcs_write(VMCS_EOI_EXIT3, ((uint64_t)tmrs[7] << 32) | tmrs[6]);
usr/src/uts/intel/io/vmm/intel/vmx.c
865
vmcs_write(VMCS_EOI_EXIT3, 0);