IPIC_SICNR        723 arch/powerpc/sysdev/ipic.c 	ipic_write(ipic->regs, IPIC_SICNR, 0x0);
IPIC_SICNR        828 arch/powerpc/sysdev/ipic.c 	ipic_saved_state.sicnr = ipic_read(ipic->regs, IPIC_SICNR);
IPIC_SICNR        859 arch/powerpc/sysdev/ipic.c 	ipic_write(ipic->regs, IPIC_SICNR, ipic_saved_state.sicnr);