Symbol: tid_set_busy
sys/powerpc/booke/pmap.c
209
static __inline void tid_set_busy(int cpu, int tid, pmap_t pmap);
sys/powerpc/booke/pmap.c
2529
tid_set_busy(thiscpu, tid, NULL);
sys/powerpc/booke/pmap.c
2535
tid_set_busy(thiscpu, tid, pmap);
sys/powerpc/booke/pmap.c
937
tid_set_busy(i, TID_KERNEL, kernel_pmap);