gonzui

Results 1 - 2 of 2 for funcall:CHK_TSKID from mtkernel_3 (0.00 seconds)

kernel/tkernel/check.h - 8.9KB - 247 lines

28:                 return E_OBJ;                                 \
29:         } else if (!CHK_TSKID(tskid)) {                                \
30:                 return E_ID;                                  \

More results from check.h

kernel/tkernel/rendezvous.h - 2.2KB - 88 lines

72: #define CHECK_RDVNO(rdvno) {                                    \
73:         if ( !CHK_TSKID(knl_get_tskid_rdvno(rdvno)) ) {                \
74:                 return E_OBJ;                                 \