HelenOS sources

MSR_EE            116 kernel/arch/ppc32/include/arch/asm.h 	msr_write(ipl | MSR_EE);
MSR_EE            131 kernel/arch/ppc32/include/arch/asm.h 	msr_write(ipl & (~MSR_EE));
MSR_EE            144 kernel/arch/ppc32/include/arch/asm.h 	msr_write((msr_read() & (~MSR_EE)) | (ipl & MSR_EE));
MSR_EE            166 kernel/arch/ppc32/include/arch/asm.h 	return ((msr_read() & MSR_EE) == 0);