diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-04-03 14:03:27 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-04-03 14:28:30 -0700 |
| commit | bef72447e75b7e37f43d3a82ce40e419c7f747d2 (patch) | |
| tree | 92e5355f9320194ca9cb512b1079f73ca89de2c7 /src/rt/rust_kernel.h | |
| parent | e1858882a49bf0666d4ffb3f45989ac9dbe9c843 (diff) | |
| download | rust-bef72447e75b7e37f43d3a82ce40e419c7f747d2.tar.gz rust-bef72447e75b7e37f43d3a82ce40e419c7f747d2.zip | |
core: Add a scheduler mode, osmain, to spawn onto the main 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 8c1d33c6a5e..927da963dad 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -93,6 +93,8 @@ public: void release_port_id(rust_port_id tid); void set_exit_status(int code); + + rust_sched_id osmain_sched_id() { return osmain_scheduler; } }; #endif /* RUST_KERNEL_H */ |