Searched refs:eptp (Results 1 – 6 of 6) 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
1053 vmx->eptp = eptp(vtophys((vm_offset_t)pmap->pm_pmltop)); in vmx_init()1064 ept_invalidate_mappings(vmx->eptp); in vmx_init()1159 error += vmwrite(VMCS_EPTP, vmx->eptp); in vmx_vcpu_init()3013 (struct invept_desc){ .eptp = vmx->eptp, ._res = 0 }); in vmx_pmap_activate()
1550 uint64_t addr, bm, eptp, u64; in bhyvectl_md_main() local1711 error = vm_get_vmcs_field(vcpu, VMCS_EPTP, &eptp); in bhyvectl_md_main()1714 &eptp); in bhyvectl_md_main()1717 cpu_intel ? "eptp" : "rvi/npt", vcpuid, eptp); in bhyvectl_md_main()