1 2 3 4 5 6
#include <sched/scheduler.h> #include <syscalls.h> int syscall_munmap(void *addr, size_t length) { return munmap(addr, length); }