Symbol: thunk_sbrk
sys/arch/usermode/include/thunk.h
155
void * thunk_sbrk(intptr_t len);
sys/arch/usermode/usermode/pmap.c
171
thunk_printf_debug("CUR end data at %p\n", thunk_sbrk(0));