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