/* * uvmspace_free: free a vmspace data structure */