a4                 59 kernel/proc.h    /* 144 */ uint64 a4;
a4                 48 kernel/syscall.c     return p->trapframe->a4;