sermr             815 arch/powerpc/sysdev/ipic.c 	u32 sermr;
sermr             833 arch/powerpc/sysdev/ipic.c 	ipic_saved_state.sermr = ipic_read(ipic->regs, IPIC_SERMR);
sermr             864 arch/powerpc/sysdev/ipic.c 	ipic_write(ipic->regs, IPIC_SERMR, ipic_saved_state.sermr);