Searched refs:hardware_spl_level (Results 1 – 2 of 2) sorted by relevance
64 volatile int hardware_spl_level; variable205 if (new != hardware_spl_level) { in splx()206 hardware_spl_level = new; in splx()263 hardware_spl_level = 0; in ep93xx_intr_init()348 hardware_spl_level = pcpl; in ep93xx_intr_dispatch()382 hardware_spl_level = pcpl; in ep93xx_intr_dispatch()
67 volatile int hardware_spl_level; variable262 if (new != hardware_spl_level) { in splx()263 hardware_spl_level = new; in splx()322 hardware_spl_level = 0; in ixp12x0_intr_init()392 hardware_spl_level = ppl; in ixp12x0_intr_dispatch()430 hardware_spl_level = ppl; in ixp12x0_intr_dispatch()