/* * sys_munmap: unmap a users memory */