gonzui


Format: Advanced Search

SearchGoogle itResults 1 - 3 of 3 for funcall:gcb_top_of_wait_queue (0.00 seconds)
tkernel_2
kernel/tkernel/src/mempool.c - 20.9KB - 791 lines
566: 
567:         if ( gcb_top_of_wait_queue((GCB*)mplcb, ctxtsk) == ctxtsk
568:           && (blk = get_blk(mplcb, blksz)) != NULL ) {
kernel/tkernel/src/messagebuf.c - 18.5KB - 689 lines
400: 
401:         } else if ( (in_indp() || gcb_top_of_wait_queue((GCB*)mbfcb, ctxtsk) == ctxtsk)
402:                   &&(mbf_free(mbfcb, msgsz)) ) {
kernel/tkernel/src/semaphore.c - 11.5KB - 475 lines
313:         if ( ((semcb->sematr & TA_CNT) != 0
314:               || gcb_top_of_wait_queue((GCB*)semcb, ctxtsk) == ctxtsk)
315:           && semcb->semcnt >= cnt ) {