gonzui

tkernel_2

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);
68:         } else {
69:                 CHECK_PAR(pk_ctsk->stksz >= 0);
70:         }
71:         if ( (pk_ctsk->tskatr & TA_TASKSPACE) != 0 ) {
72:                 CHECK_PAR(pk_ctsk->lsid >= 0 && pk_ctsk->lsid <= MAX_LSID);
73:         }
83:         if ( (pk_ctsk->tskatr & TA_SSTKSZ) != 0 ) {
84:                 CHECK_PAR(pk_ctsk->sstksz >= MIN_SYS_STACK_SIZE);
85:                 sstksz = pk_ctsk->sstksz;
722:         CHECK_TSKID_SELF(tskid);
723:         CHECK_PAR(((waitmask & ~WAIT_PATTERN) == 0)&&((waitmask & WAIT_PATTERN) != 0));
724: