Update readme ; change time-related function names.

2 files changed, 4 insertions, 4 deletions

diff --git a/src/kernel/core/thread.c b/src/kernel/core/thread.c
index 144a905..43b56a5 100644
--- a/src/kernel/core/thread.c
+++ b/src/kernel/core/thread.c
@@ -117,7 +117,7 @@ void run_scheduler() {
 	// This function is expected NEVER TO RETURN
 
 	if (current_thread != 0 && current_thread->state == T_STATE_RUNNING) {
-		current_thread->last_ran = worker_get_time();
+		current_thread->last_ran = get_kernel_time();
 		if (current_thread->proc) current_thread->proc->last_ran = current_thread->last_ran;
 		enqueue_thread(current_thread, true);
 	}
@@ -217,7 +217,7 @@ static void delete_thread(thread_t *t) {
 // ========== //
 
 static void irq0_handler(registers_t *regs) {
-	worker_notify_time(1000000 / TASK_SWITCH_FREQUENCY);
+	notify_time_pass(1000000 / TASK_SWITCH_FREQUENCY);
 	if (current_thread != 0 && current_thread->critical_level == CL_USER) {
 		save_context_and_enter_scheduler(&current_thread->ctx);
 	}
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;
 }