enter_new_process   50 kern/include/syscall.h void enter_new_process(int argc, userptr_t argv, vaddr_t stackptr,
enter_new_process  101 kern/syscall/runprogram.c 	enter_new_process(0 /*argc*/, NULL /*userspace addr of argv*/,