HelenOS sources

sdr1               95 kernel/arch/ppc32/include/arch/asm.h 	uint32_t sdr1;
sdr1               99 kernel/arch/ppc32/include/arch/asm.h 	    : [sdr1] "=r" (sdr1)
sdr1              102 kernel/arch/ppc32/include/arch/asm.h 	return sdr1;
sdr1              103 kernel/arch/ppc32/src/mm/frame.c 	uint32_t sdr1 = sdr1_get();
sdr1              106 kernel/arch/ppc32/src/mm/frame.c 	frame_mark_unavailable(ADDR2PFN(sdr1 & 0xffff000), 16);
sdr1               97 kernel/arch/ppc32/src/mm/pht.c 	uint32_t sdr1 = sdr1_get();
sdr1              100 kernel/arch/ppc32/src/mm/pht.c 	phte_t *phte = (phte_t *) PA2KA(sdr1 & 0xffff0000);
sdr1              202 kernel/arch/ppc32/src/mm/pht.c 	uint32_t sdr1 = sdr1_get();
sdr1              205 kernel/arch/ppc32/src/mm/pht.c 	phte_t *phte = (phte_t *) PA2KA(sdr1 & 0xffff0000);