Symbol: ept_vmspace_free
sys/amd64/vmm/intel/ept.h
37
void ept_vmspace_free(struct vmspace *vmspace);
sys/amd64/vmm/intel/vmx.c
3728
ept_vmspace_free(vmspace);