diff options
Diffstat (limited to 'src/kernel/include/worker.h')
| -rw-r--r-- | src/kernel/include/worker.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/kernel/include/worker.h b/src/kernel/include/worker.h index ec76dc4..e2f1cd4 100644 --- a/src/kernel/include/worker.h +++ b/src/kernel/include/worker.h @@ -8,8 +8,8 @@ void start_workers(int num_worker_threads); // default : one is enough bool worker_push(entry_t fun, void* data); bool worker_push_in(int usecs, entry_t fun, void* data); -void worker_notify_time(int usecs); // time source : PIT IRQ0 +void notify_time_pass(int usecs); // time source : PIT IRQ0 -uint64_t worker_get_time(); // usecs since we started some worker threads, ie since kernel startup +uint64_t get_kernel_time(); // usecs since we started some worker threads, ie since kernel startup /* vim: set ts=4 sw=4 tw=0 noet :*/ |