/* uvm_user.c */ /* * uvm_deallocate: deallocate memory (unmap) */