IPIC_SICFR        740 arch/powerpc/sysdev/ipic.c 	ipic_write(ipic->regs, IPIC_SICFR, temp);
IPIC_SICFR        823 arch/powerpc/sysdev/ipic.c 	ipic_saved_state.sicfr = ipic_read(ipic->regs, IPIC_SICFR);
IPIC_SICFR        854 arch/powerpc/sysdev/ipic.c 	ipic_write(ipic->regs, IPIC_SICFR, ipic_saved_state.sicfr);