diff options
Diffstat (limited to 'src/lib/_task.rs')
| -rw-r--r-- | src/lib/_task.rs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/lib/_task.rs b/src/lib/_task.rs new file mode 100644 index 00000000..b6b754f0 --- /dev/null +++ b/src/lib/_task.rs @@ -0,0 +1,21 @@ +native "rust" mod rustrt { + fn task_sleep(uint time_in_us); +} + +/** + * Hints the scheduler to yield this task for a specified ammount of time. + * + * arg: time_in_us maximum number of microseconds to yield control for + */ +fn sleep(uint time_in_us) { + ret rustrt::task_sleep(time_in_us); +} + +// Local Variables: +// mode: rust; +// fill-column: 78; +// indent-tabs-mode: nil +// c-basic-offset: 4 +// buffer-file-coding-system: utf-8-unix +// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; +// End: |