Symbol: thunk_execv
sys/arch/usermode/include/thunk.h
116
int thunk_execv(const char *, char * const []);
sys/arch/usermode/usermode/machdep.c
304
if (thunk_execv(saved_argv[0], saved_argv) == -1)