alloc_current_task() (defined in task_manager) | task_manager | [inline] |
get_current_task() const (defined in task_manager) | task_manager | [inline] |
get_instance() (defined in task_manager) | task_manager | [static] |
set_current_task(sync_task *r) (defined in task_manager) | task_manager | [inline] |