ptehi 42 kernel/arch/ppc32/src/mm/tlb.c ptehi_t ptehi; ptehi 50 kernel/arch/ppc32/src/mm/tlb.c [ptehi] "=r" (ptehi), ptehi 71 kernel/arch/ppc32/src/mm/tlb.c : [ptehi] "r" (ptehi),