diff options
Diffstat (limited to 'include/task.h')
-rw-r--r-- | include/task.h | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/include/task.h b/include/task.h index 075ed43698..2362d077c8 100644 --- a/include/task.h +++ b/include/task.h @@ -50,16 +50,9 @@ static inline void task_wake(task_id_t tskid) task_set_event(tskid, TASK_EVENT_WAKE, 0); } -/* Return the identifier of the task currently running. - * - * When called in interrupt context, returns TASK_ID_INVALID. */ +/* Return the identifier of the task currently running. */ task_id_t task_get_current(void); -/* Convert an address to the corresponding task ID. The address may be a stack - * pointer or the task data for a task. Returns TASK_ID_INVALID if the address - * does not correspond to a task. */ -task_id_t task_from_addr(uint32_t addr); - /* Return a pointer to the bitmap of events of the task. */ uint32_t *task_get_event_bitmap(task_id_t tsk); |