sercr             816 arch/powerpc/sysdev/ipic.c 	u32 sercr;
sercr             834 arch/powerpc/sysdev/ipic.c 	ipic_saved_state.sercr = ipic_read(ipic->regs, IPIC_SERCR);
sercr             865 arch/powerpc/sysdev/ipic.c 	ipic_write(ipic->regs, IPIC_SERCR, ipic_saved_state.sercr);