Home | History | Annotate | Download | only in cortex

Lines Matching defs:old_ipl

321 	const int old_ipl = ci->ci_cpl;
334 	if (ci->ci_hwpl <= old_ipl) {
335 		ci->ci_hwpl = old_ipl;
336 		gicc_write(sc, GICC_PMR, armgic_ipl_to_priority(old_ipl));
341 		if (old_ipl == IPL_HIGH) {
361 		KASSERTMSG(old_ipl != IPL_HIGH, "old_ipl %d pmr %#x hppir %#x",
362 		    old_ipl, gicc_read(sc, GICC_PMR), gicc_read(sc, GICC_HPPIR));
407 	pic_do_pending_ints(I32_bit, old_ipl, tf);
408 	KASSERTMSG(ci->ci_cpl == old_ipl, "ci_cpl %d old_ipl %d", ci->ci_cpl, old_ipl);