Symbol: e500_tlb1_sync
sys/arch/powerpc/booke/e500_intr.c
1354
[ilog2(IPI_TLB1SYNC)] = e500_tlb1_sync,
sys/arch/powerpc/include/booke/e500var.h
86
void e500_tlb1_sync(void);