diff options
| author | Zack Corr <zack@z0w0.me> | 2013-02-09 19:19:31 +1000 |
|---|---|---|
| committer | Zack Corr <zack@z0w0.me> | 2013-02-09 19:19:31 +1000 |
| commit | ebd20b7944c3b427a90e89d3b4a9e43926336eb8 (patch) | |
| tree | f09f4e4139ff0a5b6199e6bd6c9a77970c4fc7d5 /src/rt/rust_kernel.h | |
| parent | 0c2b4edff5009ff4d2330723d9acbc85af4b12ab (diff) | |
| download | rust-ebd20b7944c3b427a90e89d3b4a9e43926336eb8.tar.gz rust-ebd20b7944c3b427a90e89d3b4a9e43926336eb8.zip | |
Rename dec/inc_weak_task_count to inc/dec_live_count and remove register_task/unregister_task. Closes #4768
Diffstat (limited to 'src/rt/rust_kernel.h')
| -rw-r--r-- | src/rt/rust_kernel.h | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index 11af02dace4..01ebf5ab57b 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -160,10 +160,8 @@ public: rust_sched_id main_sched_id() { return main_scheduler; } rust_sched_id osmain_sched_id() { return osmain_scheduler; } - void register_task(); - void unregister_task(); - void inc_weak_task_count(); - void dec_weak_task_count(); + void inc_live_count(); + void dec_live_count(); void register_exit_function(spawn_fn runner, fn_env_pair *f); }; |