Symbol: TID_KERNEL
sys/powerpc/booke/pmap.c
2794
tid = (TID_KERNEL << MAS1_TID_SHIFT) & MAS1_TID_MASK;
sys/powerpc/booke/pmap.c
934
kernel_pmap->pm_tid[i] = TID_KERNEL;
sys/powerpc/booke/pmap.c
937
tid_set_busy(i, TID_KERNEL, kernel_pmap);
sys/powerpc/booke/pmap_32.c
944
if (tid == TID_KERNEL)
sys/powerpc/booke/pmap_64.c
752
if (tid == TID_KERNEL)