Home
last modified time | relevance | path

Searched refs:eptp (Results 1 – 1 of 1) sorted by relevance

/dragonfly/sys/dev/virtual/nvmm/x86/
HDnvmm_x86_vmx.c43 uint64_t eptp; member
2174 ept_desc.eptp = vmx_vmread(VMCS_EPTP); in vmx_htlb_catchup()
2198 ept_desc.eptp = vmx_vmread(VMCS_EPTP); in vmx_htlb_flush()
2928 uint64_t rev, eptp; in vmx_vcpu_init() local
3011 eptp = in vmx_vcpu_init()
3016 vmx_vmwrite(VMCS_EPTP, eptp); in vmx_vcpu_init()