gonzui

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

kernel/tkernel/src/check.h - 10.6KB - 291 lines

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

More results from check.h

kernel/tkernel/src/rendezvous.c - 20.8KB - 757 lines

112: #define CHECK_RDVNO(rdvno) {                                    \
113:         if ( !CHK_TSKID(get_tskid_rdvno(rdvno)) ) {            \
114:                 return E_OBJ;                                 \