HelenOS sources

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