Searched refs:ept_vmspace_free (Results 1 – 3 of 3) sorted by relevance
37 void ept_vmspace_free(struct vmspace *vmspace);
187 ept_vmspace_free(struct vmspace *vmspace) in ept_vmspace_free() function
3715 ept_vmspace_free(vmspace); in vmx_vmspace_free()