diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2015-03-07 17:53:35 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2015-03-07 17:53:35 +0100 |
| commit | 92731869cbf96c96b6c79f49310b1982ba3f86ee (patch) | |
| tree | c88287bb7bbf90a0d9bbecad95a417064d9d0ddb /src/kernel/include | |
| parent | cb6cef08023bee0feeaa60a84d19bc52745bb2e4 (diff) | |
| download | kogata-92731869cbf96c96b6c79f49310b1982ba3f86ee.tar.gz kogata-92731869cbf96c96b6c79f49310b1982ba3f86ee.zip | |
Update readme ; change time-related function names.
Diffstat (limited to 'src/kernel/include')
| -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 :*/ |