- mtkernel_3
- kernel/tkernel/eventflag.c - 10.5KB - 432 lines
238: CHECK_PAR((wfmode & ~(TWF_ORW|TWF_CLR|TWF_BITCLR)) == 0);
239: CHECK_TMOUT(tmout);
240: CHECK_DISPATCH();
- kernel/tkernel/mailbox.c - 9.4KB - 391 lines
211: CHECK_MBXID(mbxid);
212: CHECK_TMOUT(tmout);
213: CHECK_DISPATCH();
- kernel/tkernel/mempfix.c - 11.8KB - 472 lines
220: CHECK_MPFID(mpfid);
221: CHECK_TMOUT(tmout);
222: CHECK_DISPATCH();
- kernel/tkernel/mempool.c - 17.5KB - 669 lines
417: CHECK_PAR(blksz > 0 && blksz <= MAX_ALLOCATE);
418: CHECK_TMOUT(tmout);
419: CHECK_DISPATCH();
- kernel/tkernel/messagebuf.c - 17.3KB - 640 lines
289: CHECK_PAR(msgsz > 0);
290: CHECK_TMOUT(tmout);
291: CHECK_DISPATCH_POL(tmout);
- More results from messagebuf.c
- kernel/tkernel/mutex.c - 18.3KB - 648 lines
365: CHECK_MTXID(mtxid);
366: CHECK_TMOUT(tmout);
367: CHECK_DISPATCH();
- kernel/tkernel/rendezvous.c - 17.3KB - 649 lines
173: CHECK_PAR(cmsgsz >= 0);
174: CHECK_TMOUT(tmout);
175: CHECK_DISPATCH();
- More results from rendezvous.c
- kernel/tkernel/semaphore.c - 10.5KB - 441 lines
253: CHECK_PAR(cnt > 0);
254: CHECK_TMOUT(tmout);
255: CHECK_DISPATCH();
- kernel/tkernel/task_sync.c - 6.5KB - 300 lines
179:
180: CHECK_TMOUT(tmout);
181: CHECK_DISPATCH();