Symbol: e500_tlb_lookup_xtlb2
sys/arch/powerpc/booke/e500_tlb.c
1128
KASSERT(xtlb == e500_tlb_lookup_xtlb2(0, endkernel));
sys/arch/powerpc/booke/e500_tlb.c
787
if ((xtlb = e500_tlb_lookup_xtlb2(va, len)) != NULL) {