num               134 kernel/syscall.c   int num;
num               137 kernel/syscall.c   num = p->trapframe->a7;
num               138 kernel/syscall.c   if(num > 0 && num < NELEM(syscalls) && syscalls[num]) {
num               141 kernel/syscall.c     p->trapframe->a0 = syscalls[num]();
num               144 kernel/syscall.c             p->pid, p->name, num);