/* Do not use directly; only for the 'inline' functions below */
extern unsigned long _task_ids;
extern task_id_t _task_bitno;
/* Do not use directly; only for the 'inline' functions below */
extern unsigned long _task_ids;
extern task_id_t _task_bitno;