HelenOS sources

sr_set             61 kernel/arch/ppc32/src/mm/as.c 		sr_set(0x6000, as->asid, sr);
sr_set             65 kernel/arch/ppc32/src/mm/as.c 		sr_set(0x4000, as->asid, sr);