Symbol: VMCS_EPTP
usr/src/cmd/bhyvectl/bhyvectl.c
2009
error = vm_get_vmcs_field(vcpu, VMCS_EPTP, &eptp);
usr/src/uts/intel/io/vmm/intel/vmx.c
823
vmcs_write(VMCS_EPTP, vmx->eptp);