Searched refs:do_munmap (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/pk/
H A Dmmap.h32 int do_munmap(uintptr_t addr, size_t length);
H A Dmmap.c261 int do_munmap(uintptr_t addr, size_t length) function
H A Dsyscall.c333 return do_munmap(addr, length);

Completed in 33 milliseconds