XIVE_TM_CPPR_HV
xive_write_1(sc, XIVE_TM_CPPR_HV, xive_prio(curcpu()->ci_cpl));
xive_write_1(sc, XIVE_TM_CPPR_HV, newprio);
xive_write_1(sc, XIVE_TM_CPPR_HV, xive_prio(old));