Home | History | Annotate | Download | only in booke

Lines Matching refs:OPENPIC_CTPR

519 	KASSERT(openpic_read(cpu, OPENPIC_CTPR) == IPL2CTPR(ci->ci_cpl));
520 	openpic_write(cpu, OPENPIC_CTPR, ctpr);
521 	KASSERT(openpic_read(cpu, OPENPIC_CTPR) == ctpr);
963 	    || IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
965 		    "|| old_ipl + %u != OPENPIC_CTPR (%u)",
967 		    15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
971 		    __func__, tf, old_ipl, IPL_VM, openpic_read(cpu, OPENPIC_CTPR));
980 		if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
981 			panic("%s(%p): %d: old_ipl(%u) + %u != OPENPIC_CTPR (%u)",
983 			    15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
993 		if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
994 			panic("%s(%p): %d: old_ipl(%u) + %u != OPENPIC_CTPR (%u)",
996 			    15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
1049 		if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
1050 			panic("%s(%p): %d: old_ipl(%u) + %u != OPENPIC_CTPR (%u)",
1052 			    15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
1055 		if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
1056 			panic("%s(%p): %d: old_ipl(%u) + %u != OPENPIC_CTPR (%u)",
1058 			    15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
1213 	KASSERTMSG(CTPR2IPL(openpic_read(curcpu()->ci_softc, OPENPIC_CTPR)) == IPL_NONE,
1215 	     CTPR2IPL(openpic_read(curcpu()->ci_softc, OPENPIC_CTPR)));