- tkernel_2
- kernel/tkernel/src/eventflag.c - 11.8KB - 477 lines
285: CHECK_PAR((wfmode & ~(TWF_ORW|TWF_CLR|TWF_BITCLR)) == 0);
286: CHECK_TMOUT(tmout);
287: CHECK_DISPATCH();
- kernel/tkernel/src/mailbox.c - 11.4KB - 462 lines
284: CHECK_MBXID(mbxid);
285: CHECK_TMOUT(tmout);
286: CHECK_DISPATCH();
- kernel/tkernel/src/mempfix.c - 12.5KB - 498 lines
248: CHECK_MPFID(mpfid);
249: CHECK_TMOUT(tmout);
250: CHECK_DISPATCH();
- kernel/tkernel/src/mempool.c - 20.9KB - 791 lines
541: CHECK_PAR(blksz > 0 && blksz <= MAX_ALLOCATE);
542: CHECK_TMOUT(tmout);
543: CHECK_DISPATCH();
- kernel/tkernel/src/messagebuf.c - 18.5KB - 689 lines
370: CHECK_PAR(msgsz > 0);
371: CHECK_TMOUT(tmout);
372: CHECK_DISPATCH_POL(tmout);
- More results from messagebuf.c
- kernel/tkernel/src/mutex.c - 19.7KB - 703 lines
422: CHECK_MTXID(mtxid);
423: CHECK_TMOUT(tmout);
424: CHECK_DISPATCH();
- kernel/tkernel/src/rendezvous.c - 20.8KB - 757 lines
240: CHECK_PAR(cmsgsz >= 0);
241: CHECK_TMOUT(tmout);
242: CHECK_DISPATCH();
- More results from rendezvous.c
- kernel/tkernel/src/semaphore.c - 11.5KB - 475 lines
289: CHECK_PAR(cnt > 0);
290: CHECK_TMOUT(tmout);
291: CHECK_DISPATCH();
- kernel/tkernel/src/task_sync.c - 8.2KB - 357 lines
180:
181: CHECK_TMOUT(tmout);
182: CHECK_DISPATCH();
- More results from task_sync.c