sys/amd64/vmm/intel/ept.c

162

ept_invalidate_mappings(u_long eptp)

sys/amd64/vmm/intel/ept.c

166

invept_desc.eptp = eptp;

sys/amd64/vmm/intel/ept.h

35

void ept_invalidate_mappings(u_long eptp);

sys/amd64/vmm/intel/ept.h

38

uint64_t eptp(uint64_t pml4);

sys/amd64/vmm/intel/vmx.c

1064

vmx->eptp = eptp(vtophys((vm_offset_t)pmap->pm_pmltop));

sys/amd64/vmm/intel/vmx.c

1075

ept_invalidate_mappings(vmx->eptp);

sys/amd64/vmm/intel/vmx.c

1170

error += vmwrite(VMCS_EPTP, vmx->eptp);

sys/amd64/vmm/intel/vmx.c

3026

(struct invept_desc){ .eptp = vmx->eptp, ._res = 0 });

sys/amd64/vmm/intel/vmx.h

145

uint64_t eptp;

sys/amd64/vmm/intel/vmx_cpufunc.h

198

uint64_t eptp;

usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c

1550

uint64_t addr, bm, eptp, u64;

usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c

1711

error = vm_get_vmcs_field(vcpu, VMCS_EPTP, &eptp);

usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c

1714

&eptp);

usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c

1717

cpu_intel ? "eptp" : "rvi/npt", vcpuid, eptp);