kernel_sp          42 kernel/proc.h    /*   8 */ uint64 kernel_sp;     // top of process's kernel stack
kernel_sp         117 kernel/trap.c    p->trapframe->kernel_sp = p->kstack + PGSIZE; // process's kernel stack