Symbol: tlb1_write_entry_sync
sys/powerpc/booke/pmap.c
2679
smp_rendezvous(tlb1_write_entry_sync,
sys/powerpc/booke/pmap.c
2681
tlb1_write_entry_sync, &args);