- tkernel_2
- kernel/sysdepend/cpu/em1d/cpu_calls.c - 11.7KB - 449 lines
84: /* Set interrupt handler */
85: CHECK_RSATR(pk_dint->intatr, TA_HLNG);
86: CHECK_PAR( !(dintno == EIT_FIQ
- kernel/tkernel/src/eventflag.c - 11.8KB - 477 lines
131:
132: CHECK_RSATR(pk_cflg->flgatr, VALID_FLGATR);
133:
- kernel/tkernel/src/mailbox.c - 11.4KB - 462 lines
158:
159: CHECK_RSATR(pk_cmbx->mbxatr, VALID_MBXATR);
160:
- kernel/tkernel/src/mempfix.c - 12.5KB - 498 lines
146:
147: CHECK_RSATR(pk_cmpf->mpfatr, VALID_MPFATR);
148: CHECK_PAR(pk_cmpf->mpfcnt > 0);
- kernel/tkernel/src/mempool.c - 20.9KB - 791 lines
442:
443: CHECK_RSATR(pk_cmpl->mplatr, VALID_MPLATR);
444: CHECK_PAR(pk_cmpl->mplsz > 0 && pk_cmpl->mplsz <= MAX_ALLOCATE);
- kernel/tkernel/src/messagebuf.c - 18.5KB - 689 lines
269:
270: CHECK_RSATR(pk_cmbf->mbfatr, VALID_MBFATR);
271: CHECK_PAR(pk_cmbf->bufsz >= 0);
- kernel/tkernel/src/mutex.c - 19.7KB - 703 lines
331:
332: CHECK_RSATR(pk_cmtx->mtxatr, VALID_MTXATR);
333:
- kernel/tkernel/src/rendezvous.c - 20.8KB - 757 lines
156:
157: CHECK_RSATR(pk_cpor->poratr, VALID_PORATR);
158: CHECK_PAR(pk_cpor->maxcmsz >= 0);
- kernel/tkernel/src/semaphore.c - 11.5KB - 475 lines
156:
157: CHECK_RSATR(pk_csem->sematr, VALID_SEMATR);
158: CHECK_PAR(pk_csem->isemcnt >= 0);
- kernel/tkernel/src/subsystem.c - 29.4KB - 1,062 lines
159: if ( pk_dssy != NULL ) {
160: CHECK_RSATR(pk_dssy->ssyatr, TA_NULL|TA_GP);
161: CHECK_SSYPRI(pk_dssy->ssypri);
- More results from subsystem.c