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