kernel_thread::syscall::mm

Function sys_munmap

Source 
pub(super) fn sys_munmap(task: &Sel4Task, start: usize, len: usize) -> SysResult