Searched refs:get_pending_spl (Results 1 – 4 of 4) sorted by relevance
82 extern int (*get_pending_spl)(void); /* get highest pending ipl */
1527 (((*get_pending_spl)() > (newpri)) || \
126 int (*get_pending_spl)(void) = (int (*)(void))return_instr; variable
360 get_pending_spl = apix_get_pending_spl; in apix_init()