Symbol: tlb_unlock
sys/powerpc/booke/pmap.c
508
tlb_unlock(pc->pc_booke.tlb_lock);
sys/powerpc/include/tlb.h
175
void tlb_unlock(uintptr_t *);