HelenOS sources

sr_get             96 kernel/arch/ppc32/src/mm/pht.c 	uint32_t vsid = sr_get(vaddr);
sr_get            147 kernel/arch/ppc32/src/mm/tlb.c 		uint32_t vsid = sr_get(sr << 28);