IPIC_SMPRR_B
IPIC_MIX_GRP_B = IPIC_SMPRR_B,
.prio = IPIC_SMPRR_B,
.prio = IPIC_SMPRR_B,
.prio = IPIC_SMPRR_B,
.prio = IPIC_SMPRR_B,
.prio = IPIC_SMPRR_B,
.prio = IPIC_SMPRR_B,
.prio = IPIC_SMPRR_B,
.prio = IPIC_SMPRR_B,
ipic_write(primary_ipic->regs, IPIC_SMPRR_B, IPIC_PRIORITY_DEFAULT);
ipic_saved_state.smprr[1] = ipic_read(ipic->regs, IPIC_SMPRR_B);
ipic_write(ipic->regs, IPIC_SMPRR_B, ipic_saved_state.smprr[1]);