IPIC_SICNR
ipic_write(ipic->regs, IPIC_SICNR, 0x0);
ipic_saved_state.sicnr = ipic_read(ipic->regs, IPIC_SICNR);
ipic_write(ipic->regs, IPIC_SICNR, ipic_saved_state.sicnr);