kernel_hartid      48 kernel/proc.h    /*  32 */ uint64 kernel_hartid; // saved kernel tp
kernel_hartid     108 kernel/trap.c    p->trapframe->kernel_hartid = r_tp();         // hartid for cpuid()