- mtkernel_3
- kernel/tkernel/eventflag.c - 10.5KB - 432 lines
236: CHECK_FLGID(flgid);
237: CHECK_PAR(waiptn != 0);
238: CHECK_PAR((wfmode & ~(TWF_ORW|TWF_CLR|TWF_BITCLR)) == 0);
- More results from eventflag.c
- kernel/tkernel/int.c - 1.5KB - 62 lines
34:
35: CHECK_PAR(intno < N_INTVEC);
36: if(pk_dint != NULL) {
- kernel/tkernel/mempfix.c - 11.8KB - 472 lines
76: CHECK_RSATR(pk_cmpf->mpfatr, VALID_MPFATR);
77: CHECK_PAR(pk_cmpf->mpfcnt > 0);
78: CHECK_PAR(pk_cmpf->blfsz > 0);
- More results from mempfix.c
- kernel/tkernel/mempool.c - 17.5KB - 669 lines
258: CHECK_RSATR(pk_cmpl->mplatr, VALID_MPLATR);
259: CHECK_PAR(pk_cmpl->mplsz > 0 && pk_cmpl->mplsz <= MAX_ALLOCATE);
260: #if !USE_IMALLOC
- More results from mempool.c
- kernel/tkernel/messagebuf.c - 17.3KB - 640 lines
133: CHECK_RSATR(pk_cmbf->mbfatr, VALID_MBFATR);
134: CHECK_PAR(pk_cmbf->bufsz >= 0);
135: CHECK_PAR(pk_cmbf->maxmsz > 0);
- More results from messagebuf.c
- kernel/tkernel/rendezvous.c - 17.3KB - 649 lines
93: CHECK_RSATR(pk_cpor->poratr, VALID_PORATR);
94: CHECK_PAR(pk_cpor->maxcmsz >= 0);
95: CHECK_PAR(pk_cpor->maxrmsz >= 0);
- More results from rendezvous.c
- kernel/tkernel/semaphore.c - 10.5KB - 441 lines
72: CHECK_RSATR(pk_csem->sematr, VALID_SEMATR);
73: CHECK_PAR(pk_csem->isemcnt >= 0);
74: CHECK_PAR(pk_csem->maxsem > 0);
- More results from semaphore.c
- kernel/tkernel/task_manage.c - 14.9KB - 622 lines
49: /* TA_USERBUF must be specified if configured in no Imalloc */
50: CHECK_PAR((pk_ctsk->tskatr & TA_USERBUF) != 0);
51: #endif
- More results from task_manage.c
- kernel/tkernel/time_calls.c - 22.2KB - 901 lines
37: {
38: CHECK_PAR(pk_tim->hi >= 0);
39:
- More results from time_calls.c