Searched refs:eptp (Results 1 – 5 of 5) sorted by relevance
163 ept_invalidate_mappings(u_long eptp) in ept_invalidate_mappings() argument167 invept_desc.eptp = eptp; in ept_invalidate_mappings()194 eptp(uint64_t pml4) in eptp() function
35 void ept_invalidate_mappings(u_long eptp);38 uint64_t eptp(uint64_t pml4);
198 uint64_t eptp; member
145 uint64_t eptp; member
1064 vmx->eptp = eptp(vtophys((vm_offset_t)pmap->pm_pmltop)); in vmx_init()1075 ept_invalidate_mappings(vmx->eptp); in vmx_init()1170 error += vmwrite(VMCS_EPTP, vmx->eptp); in vmx_vcpu_init()3024 (struct invept_desc){ .eptp = vmx->eptp, ._res = 0 }); in vmx_pmap_activate()