Searched refs:taskid_space (Results 1 – 1 of 1) sorted by relevance
100 static id_space_t *taskid_space; /* global taskid space */ variable501 tk->tk_tkid = tkid = id_alloc(taskid_space); in task_create()767 id_free(taskid_space, tk->tk_tkid); in task_end()960 taskid_space = id_space_create("taskid_space", 0, MAX_TASKID); in task_init()989 task0p->tk_tkid = id_alloc(taskid_space); in task_init()