cpuid              85 kernel/defs.h  int             cpuid(void);
cpuid              13 kernel/main.c    if(cpuid() == 0){
cpuid              38 kernel/main.c      printf("hart %d starting\n", cpuid());
cpuid              22 kernel/plic.c    int hart = cpuid();
cpuid              36 kernel/plic.c    int hart = cpuid();
cpuid              45 kernel/plic.c    int hart = cpuid();
cpuid              76 kernel/proc.c    int id = cpuid();
cpuid             166 kernel/trap.c    if(cpuid() == 0){