Lines Matching refs:integer_t
145 integer_t options; /* options set by thread itself */
185 integer_t sched_mode; /* scheduling mode bits */
197 integer_t sched_pri; /* scheduled (current) priority */
198 integer_t priority; /* base priority */
199 integer_t max_priority; /* max base priority */
200 integer_t task_priority; /* copy of task base priority */
202 integer_t promotions; /* level of promotion */
203 integer_t pending_promoter_index;
206 integer_t importance; /* task-relative importance */
229 integer_t safe_mode; /* saved mode during fail-safe */
257 integer_t wait_timer_active;
262 integer_t depress_timer_active;
469 integer_t priority,
470 integer_t max_priority);
478 integer_t priority,
484 integer_t priority,