diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-04-03 18:54:57 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-04-03 20:24:29 -0700 |
| commit | 4cf7efc8f7df215b0ff9e3ea15b7890b84db1b51 (patch) | |
| tree | 77e9ae322815a9a749b7116348863eeb64868e34 /src/rt/rust_kernel.h | |
| parent | c0e12854edc10070759688b598a3885cbeb82e28 (diff) | |
| download | rust-4cf7efc8f7df215b0ff9e3ea15b7890b84db1b51.tar.gz rust-4cf7efc8f7df215b0ff9e3ea15b7890b84db1b51.zip | |
rt: Fix bugs in the osmain scheduler
Diffstat (limited to 'src/rt/rust_kernel.h')
| -rw-r--r-- | src/rt/rust_kernel.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index 927da963dad..52399cf4e2c 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -57,6 +57,8 @@ private: // on the main thread rust_sched_driver *osmain_driver; + rust_scheduler* get_scheduler_by_id_nolock(rust_sched_id id); + public: struct rust_env *env; |