Searched refs:ept_vmspace_free (Results 1 – 3 of 3) sorted by relevance
39 void ept_vmspace_free(struct vmspace *vmspace);
192 ept_vmspace_free(struct vmspace *vmspace) in ept_vmspace_free() function
3631 ept_vmspace_free(vmspace); in vmx_vmspace_free()