- tkernel_2
- kernel/tkernel/src/eventflag.c - 11.8KB - 477 lines
286: CHECK_TMOUT(tmout);
287: CHECK_DISPATCH();
288:
- kernel/tkernel/src/mailbox.c - 11.4KB - 462 lines
285: CHECK_TMOUT(tmout);
286: CHECK_DISPATCH();
287:
- kernel/tkernel/src/mempfix.c - 12.5KB - 498 lines
149: CHECK_PAR(pk_cmpf->blfsz > 0);
150: CHECK_DISPATCH();
151:
- More results from mempfix.c
- kernel/tkernel/src/mempool.c - 20.9KB - 791 lines
444: CHECK_PAR(pk_cmpl->mplsz > 0 && pk_cmpl->mplsz <= MAX_ALLOCATE);
445: CHECK_DISPATCH();
446:
- More results from mempool.c
- kernel/tkernel/src/messagebuf.c - 18.5KB - 689 lines
441: CHECK_TMOUT(tmout);
442: CHECK_DISPATCH();
443:
- kernel/tkernel/src/mutex.c - 19.7KB - 703 lines
423: CHECK_TMOUT(tmout);
424: CHECK_DISPATCH();
425:
- kernel/tkernel/src/rendezvous.c - 20.8KB - 757 lines
241: CHECK_TMOUT(tmout);
242: CHECK_DISPATCH();
243:
- More results from rendezvous.c
- kernel/tkernel/src/semaphore.c - 11.5KB - 475 lines
290: CHECK_TMOUT(tmout);
291: CHECK_DISPATCH();
292:
- kernel/tkernel/src/subsystem.c - 29.4KB - 1,062 lines
256: CHECK_RESID(resid);
257: CHECK_DISPATCH();
258:
- More results from subsystem.c
- kernel/tkernel/src/task_sync.c - 8.2KB - 357 lines
181: CHECK_TMOUT(tmout);
182: CHECK_DISPATCH();
183:
- More results from task_sync.c