diff options
Diffstat (limited to 'src/rt/rust_task_thread.h')
| -rw-r--r-- | src/rt/rust_task_thread.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/rt/rust_task_thread.h b/src/rt/rust_task_thread.h index 49da2eeeaf5..7b05c185be1 100644 --- a/src/rt/rust_task_thread.h +++ b/src/rt/rust_task_thread.h @@ -123,6 +123,10 @@ public: rust_task_id create_task(rust_task *spawner, const char *name, size_t init_stack_sz); + void transition(rust_task *task, + rust_task_list *src, rust_task_list *dst, + rust_cond *cond, const char* cond_name); + virtual void run(); void init_tls(); |
