HelenOS sources

sdr1_get          103 kernel/arch/ppc32/src/mm/frame.c 	uint32_t sdr1 = sdr1_get();
sdr1_get           97 kernel/arch/ppc32/src/mm/pht.c 	uint32_t sdr1 = sdr1_get();
sdr1_get          202 kernel/arch/ppc32/src/mm/pht.c 	uint32_t sdr1 = sdr1_get();