Home
last modified time | relevance | path

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

/freebsd-14.2/sys/amd64/vmm/intel/
H A Dept.c164 ept_invalidate_mappings(u_long eptp) in ept_invalidate_mappings() argument
168 invept_desc.eptp = eptp; in ept_invalidate_mappings()
195 eptp(uint64_t pml4) in eptp() function
H A Dept.h35 void ept_invalidate_mappings(u_long eptp);
38 uint64_t eptp(uint64_t pml4);
H A Dvmx_cpufunc.h198 uint64_t eptp; member
H A Dvmx.h145 uint64_t eptp; member
H A Dvmx.c1053 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()
/freebsd-14.2/usr.sbin/bhyvectl/
H A Dbhyvectl.c1636 uint64_t eptp, bm, addr, u64, pteval[4], *pte, info[2]; in main() local
2006 error = vm_get_vmcs_field(vcpu, VMCS_EPTP, &eptp); in main()
2009 8, &eptp); in main()
2012 cpu_intel ? "eptp" : "rvi/npt", vcpuid, eptp); in main()