43 static void dpl_task_pool_free(struct k_thread *task)  in dpl_task_pool_free()  argument
45     k_mem_slab_free(&task_slab, (void *)task);  in dpl_task_pool_free()
88     struct k_thread *task = dpl_task_pool_alloc();  in TaskP_create()  local
96         task_tid = k_thread_create(task, task_stack,  in TaskP_create()
107     return ((TaskP_Handle)task);  in TaskP_create()
113 void TaskP_delete(TaskP_Handle task)  in TaskP_delete()  argument
115     if (task != NULL)  in TaskP_delete()
117         TaskP_State state = TaskP_getState(task);  in TaskP_delete()
120             struct k_thread*  thread = (struct k_thread* )task;  in TaskP_delete()
177 TaskP_State TaskP_getState(TaskP_Handle task)  in TaskP_getState()  argument
181     switch (((struct k_thread*) task)->base.thread_state) {  in TaskP_getState()
201     if (k_current_get() == ((k_tid_t) ((struct k_thread *) task))) {  in TaskP_getState()