HelenOS sources

psr_read          444 kernel/arch/ia64/include/arch/asm.h 	return (ipl_t) psr_read();
psr_read          454 kernel/arch/ia64/include/arch/asm.h 	return !(psr_read() & PSR_I_MASK);
psr_read          231 kernel/arch/ia64/src/ia64.c 	psr.value = psr_read();