Symbol: TLBIE_ACTUAL_PAGE_4K
sys/powerpc/aim/mmu_radix.c
220
TLBIEL_INVAL_PAGE, pid, 0, va, TLBIE_ACTUAL_PAGE_4K);
sys/powerpc/aim/mmu_radix.c
221
radix_tlbie_fixup(pid, va, TLBIE_ACTUAL_PAGE_4K);
sys/powerpc/aim/mmu_radix.c
254
TLBIEL_INVAL_PAGE, 0, 0, va, TLBIE_ACTUAL_PAGE_4K);
sys/powerpc/aim/mmu_radix.c
255
radix_tlbie_fixup(0, va, TLBIE_ACTUAL_PAGE_4K);