- tkernel_2
- kernel/sysdepend/cpu/em1d/cpu_calls.c - 11.7KB - 449 lines
80:
81: CHECK_PAR(dintno < N_INTVEC);
82:
- More results from cpu_calls.c
- kernel/tkernel/src/eventflag.c - 11.8KB - 477 lines
283: CHECK_FLGID(flgid);
284: CHECK_PAR(waiptn != 0);
285: CHECK_PAR((wfmode & ~(TWF_ORW|TWF_CLR|TWF_BITCLR)) == 0);
- More results from eventflag.c
- kernel/tkernel/src/mempfix.c - 12.5KB - 498 lines
147: CHECK_RSATR(pk_cmpf->mpfatr, VALID_MPFATR);
148: CHECK_PAR(pk_cmpf->mpfcnt > 0);
149: CHECK_PAR(pk_cmpf->blfsz > 0);
- More results from mempfix.c
- kernel/tkernel/src/mempool.c - 20.9KB - 791 lines
443: CHECK_RSATR(pk_cmpl->mplatr, VALID_MPLATR);
444: CHECK_PAR(pk_cmpl->mplsz > 0 && pk_cmpl->mplsz <= MAX_ALLOCATE);
445: CHECK_DISPATCH();
- More results from mempool.c
- kernel/tkernel/src/messagebuf.c - 18.5KB - 689 lines
270: CHECK_RSATR(pk_cmbf->mbfatr, VALID_MBFATR);
271: CHECK_PAR(pk_cmbf->bufsz >= 0);
272: CHECK_PAR(pk_cmbf->maxmsz > 0);
- More results from messagebuf.c
- kernel/tkernel/src/rendezvous.c - 20.8KB - 757 lines
157: CHECK_RSATR(pk_cpor->poratr, VALID_PORATR);
158: CHECK_PAR(pk_cpor->maxcmsz >= 0);
159: CHECK_PAR(pk_cpor->maxrmsz >= 0);
- More results from rendezvous.c
- kernel/tkernel/src/semaphore.c - 11.5KB - 475 lines
157: CHECK_RSATR(pk_csem->sematr, VALID_SEMATR);
158: CHECK_PAR(pk_csem->isemcnt >= 0);
159: CHECK_PAR(pk_csem->maxsem > 0);
- More results from semaphore.c
- kernel/tkernel/src/subsystem.c - 29.4KB - 1,062 lines
161: CHECK_SSYPRI(pk_dssy->ssypri);
162: CHECK_PAR(pk_dssy->resblksz >= 0);
163: }
- More results from subsystem.c
- kernel/tkernel/src/task_manage.c - 23.8KB - 956 lines
65: if ( (pk_ctsk->tskatr & TA_USERSTACK) != 0 ) {
66: CHECK_PAR((pk_ctsk->tskatr & TA_RNG3) != TA_RNG0);
67: CHECK_PAR(pk_ctsk->stksz == 0);
- More results from task_manage.c
- kernel/tkernel/src/task_sync.c - 8.2KB - 357 lines
290: CHECK_TMOUT(tmout);
291: CHECK_PAR((((UINT)waiptn & ~0x000000ffU) == 0)&&(((UINT)waiptn & 0x000000FFU) != 0));
292: CHECK_DISPATCH();
- More results from task_sync.c