rename and move, function renames in stdio

1 files changed, 8 insertions, 8 deletions

diff --git a/kc/core/task.c b/kc/core/task.c
index 5eaa3fb..a298a05 100644
--- a/kc/core/task.c
+++ b/kc/core/task.c
@@ -12,7 +12,7 @@
 #include <stdbool.h>
 
 #include <lib/elf.h>
-#include <lib/kstdio.h>
+#include <libc/stdio.h>
 
 #include "arch_thread.h"
 
@@ -110,7 +110,7 @@ static volatile atomic_bool preempt_switch_flag = false;
 
 static void *idle_thread_entry(void *)
 {
-    kprintf("idle thread started\n");
+    printf("idle thread started\n");
 
 	__asm__ ("sti");
 
@@ -132,7 +132,7 @@ static void *sleepy_thread_entry(void *p)
     {
         sleep_thread(sleep_nanoseconds);
         thread_slept_count++;
-		kprintf("thread slept %d times\n", thread_slept_count);
+		printf("thread slept %d times\n", thread_slept_count);
     }
 
     (void)thread_slept_count;
@@ -414,19 +414,19 @@ union kc_thread_result kct_wait(struct kc_thread *target)
 
 static void *waited_thread_test(void *)
 {
-	kprintf("worker thread, sleeping for some time...\n");
+	printf("worker thread, sleeping for some time...\n");
 	sleep_thread(30000000000);
 	return (void *)1;
 }
 
 static void *waiting_thread_test(void *)
 {
-	kprintf("waiting thread\n");
+	printf("waiting thread\n");
 	struct kc_thread *t = create_thread(waited_thread_test, nullptr);
 	t->status = READY;
 	thread_queue_push_back(&ready_queue, t);
 	union kc_thread_result r = kct_wait(t);
-	kprintf("waited thread terminated result: %d\n", r);
+	printf("waited thread terminated result: %d\n", r);
 	return nullptr;
 }
 
@@ -439,7 +439,7 @@ noreturn void task_init(void)
     timesource = &pit8253_timer_source;
     timesource->append_callback(sleeping_thread_callback);
     timesource->start();
-    kprintf(
+    printf(
             "starting task management, timesource delta %luns\n",
             timesource->nanoseconds_delta());
 
@@ -454,7 +454,7 @@ noreturn void task_init(void)
 	thread_queue_push(&ready_queue, idle_thread);
 	block_thread(BLOCKED);
     // shouldn't ever get here
-	kprintf("the idle thread exited somehow. we're back in the boot thread. this is not good.\n");
+	printf("the idle thread exited somehow. we're back in the boot thread. this is not good.\n");
     PANIC(DEAD_END);
 }