pht_invalidate 59 kernel/arch/ppc32/include/arch/mm/as.h pht_invalidate((as), (page), (cnt)) pht_invalidate 46 kernel/arch/ppc32/include/arch/mm/pht.h extern void pht_invalidate(struct as *, uintptr_t, size_t);