diff options
Diffstat (limited to 'src/kernel/core/worker.c')
| -rw-r--r-- | src/kernel/core/worker.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/kernel/core/worker.c b/src/kernel/core/worker.c index c3fa04d..e367115 100644 --- a/src/kernel/core/worker.c +++ b/src/kernel/core/worker.c @@ -88,7 +88,7 @@ bool worker_push(entry_t fun, void* data) { return worker_push_in(0, fun, data); } -void worker_notify_time(int usecs) { +void notify_time_pass(int usecs) { time += usecs; if (next_task_time <= time) { for (int i = 0; i < nworkers; i++) { @@ -97,7 +97,7 @@ void worker_notify_time(int usecs) { } } -uint64_t worker_get_time() { +uint64_t get_kernel_time() { return time; } |