Symbol: tlb1_write_entry_int
sys/powerpc/booke/pmap.c
2727
tlb1_write_entry_int,
sys/powerpc/booke/pmap.c
2736
tlb1_write_entry_int(&args);