IPIC_SMPRR_A
IPIC_MIX_GRP_A = IPIC_SMPRR_A,
.prio = IPIC_SMPRR_A,
.prio = IPIC_SMPRR_A,
.prio = IPIC_SMPRR_A,
.prio = IPIC_SMPRR_A,
.prio = IPIC_SMPRR_A,
.prio = IPIC_SMPRR_A,
.prio = IPIC_SMPRR_A,
.prio = IPIC_SMPRR_A,
ipic_write(primary_ipic->regs, IPIC_SMPRR_A, IPIC_PRIORITY_DEFAULT);
ipic_saved_state.smprr[0] = ipic_read(ipic->regs, IPIC_SMPRR_A);
ipic_write(ipic->regs, IPIC_SMPRR_A, ipic_saved_state.smprr[0]);