Symbol: VMCS_EPTP
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2200
ept_desc.eptp = vmx_vmread(VMCS_EPTP);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2224
ept_desc.eptp = vmx_vmread(VMCS_EPTP);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3037
vmx_vmwrite(VMCS_EPTP, eptp);