HelenOS sources

phte_t            100 kernel/arch/ppc32/src/mm/pht.c 	phte_t *phte = (phte_t *) PA2KA(sdr1 & 0xffff0000);
phte_t            205 kernel/arch/ppc32/src/mm/pht.c 	phte_t *phte = (phte_t *) PA2KA(sdr1 & 0xffff0000);