Symbol: ept_invalidate_mappings
sys/amd64/vmm/intel/ept.h
35
void ept_invalidate_mappings(u_long eptp);
sys/amd64/vmm/intel/vmx.c
1075
ept_invalidate_mappings(vmx->eptp);