IPIC_SIPRR_D
IPIC_INT_GRP_D = IPIC_SIPRR_D,
.prio = IPIC_SIPRR_D,
.prio = IPIC_SIPRR_D,
.prio = IPIC_SIPRR_D,
.prio = IPIC_SIPRR_D,
.prio = IPIC_SIPRR_D,
.prio = IPIC_SIPRR_D,
ipic_write(primary_ipic->regs, IPIC_SIPRR_D, IPIC_PRIORITY_DEFAULT);
ipic_saved_state.siprr[1] = ipic_read(ipic->regs, IPIC_SIPRR_D);
ipic_write(ipic->regs, IPIC_SIPRR_D, ipic_saved_state.siprr[1]);
.prio = IPIC_SIPRR_D,
.prio = IPIC_SIPRR_D,