Symbol: TID_KERNEL
sys/powerpc/booke/pmap.c
2747
tid = (TID_KERNEL << MAS1_TID_SHIFT) & MAS1_TID_MASK;
sys/powerpc/booke/pmap.c
909
kernel_pmap->pm_tid[i] = TID_KERNEL;
sys/powerpc/booke/pmap.c
912
tidbusy[i][TID_KERNEL] = kernel_pmap;
sys/powerpc/booke/pmap_32.c
945
if (tid == TID_KERNEL)
sys/powerpc/booke/pmap_64.c
758
if (tid == TID_KERNEL)