Symbol: VMCS_EPTP
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2329
ept_desc.eptp = vmx_vmread(VMCS_EPTP);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2348
ept_desc.eptp = vmx_vmread(VMCS_EPTP);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3171
vmx_vmwrite(VMCS_EPTP, eptp);