r_tp 67 kernel/proc.c int id = r_tp(); r_tp 108 kernel/trap.c p->trapframe->kernel_hartid = r_tp(); // hartid for cpuid()