IPIC_SIPRR_A
IPIC_INT_GRP_A = IPIC_SIPRR_A,
.prio = IPIC_SIPRR_A,
.prio = IPIC_SIPRR_A,
.prio = IPIC_SIPRR_A,
.prio = IPIC_SIPRR_A,
.prio = IPIC_SIPRR_A,
.prio = IPIC_SIPRR_A,
.prio = IPIC_SIPRR_A,
.prio = IPIC_SIPRR_A,
ipic_write(primary_ipic->regs, IPIC_SIPRR_A, IPIC_PRIORITY_DEFAULT);
ipic_saved_state.siprr[0] = ipic_read(ipic->regs, IPIC_SIPRR_A);
ipic_write(ipic->regs, IPIC_SIPRR_A, ipic_saved_state.siprr[0]);