diff options
| author | Michael Bebenita <[email protected]> | 2010-09-10 01:21:29 -0700 |
|---|---|---|
| committer | Michael Bebenita <[email protected]> | 2010-09-10 14:38:31 -0700 |
| commit | a493350eb5ab38ba8a6563f3eb4a090d257b0d3a (patch) | |
| tree | dc984eaa28a55de9f05db0b961a0e67f80ca35ef /src/rt/sync/timer.h | |
| parent | Added lock_and_signal::signal_all(), and made the rust_kernel::join() use wai... (diff) | |
| download | rust-a493350eb5ab38ba8a6563f3eb4a090d257b0d3a.tar.xz rust-a493350eb5ab38ba8a6563f3eb4a090d257b0d3a.zip | |
Cleanup, refactoring, and some runtime tests.
Diffstat (limited to 'src/rt/sync/timer.h')
| -rw-r--r-- | src/rt/sync/timer.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/sync/timer.h b/src/rt/sync/timer.h index 509fd22c..aae098a1 100644 --- a/src/rt/sync/timer.h +++ b/src/rt/sync/timer.h @@ -17,6 +17,7 @@ public: timer(); void reset(uint64_t timeout); uint64_t get_elapsed_time(); + double get_elapsed_time_in_ms(); int64_t get_timeout(); bool has_timed_out(); virtual ~timer(); |