Symbol: thunk_madvise
sys/arch/usermode/include/thunk.h
159
int thunk_madvise(void *addr, size_t len, int behav);
sys/arch/usermode/usermode/pmap.c
285
err = thunk_madvise((void *) kmem_user_start,