XICP_CPPR
xicp_write_1(sc, XICP_CPPR, xicp_prio(curcpu()->ci_cpl));
xicp_write_1(sc, XICP_CPPR, newprio);
xicp_write_1(sc, XICP_CPPR, xicp_prio(ih->ih_ipl));