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