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