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