HelenOS sources

ptelo              43 kernel/arch/ppc32/src/mm/tlb.c 	ptelo_t ptelo;
ptelo              51 kernel/arch/ppc32/src/mm/tlb.c 	      [ptelo] "=r" (ptelo)
ptelo              60 kernel/arch/ppc32/src/mm/tlb.c 	ptelo.rpn = KA2PA(badvaddr) >> 12;
ptelo              61 kernel/arch/ppc32/src/mm/tlb.c 	ptelo.wimg = 0;
ptelo              62 kernel/arch/ppc32/src/mm/tlb.c 	ptelo.pp = 2; // FIXME
ptelo              72 kernel/arch/ppc32/src/mm/tlb.c 	      [ptelo] "r" (ptelo)