Searched refs:fx_getmaxumdpri (Results 1 – 4 of 4) sorted by relevance
153 fx_getmaxumdpri() in fx_getmaxumdpri() function
273 extern pri_t fx_getmaxumdpri(void); in fx_init()276 fx_maxumdpri = fx_getmaxumdpri(); in fx_init()
715 STUB(FX_DPTBL, fx_getmaxumdpri, 0);
826 STUB(FX_DPTBL, fx_getmaxumdpri, 0);