gonzui


Format: Advanced Search

SearchGoogle itResults 1 - 1 of 1 for funcall:get_tskid_rdvno (0.00 seconds)
tkernel_2
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;                                 \
435: porcb = get_porcb(porid); 436: caltcb = get_tcb(get_tskid_rdvno(rdvno)); 437:
552: 553: caltcb = get_tcb(get_tskid_rdvno(rdvno)); 554: