From a10aabfcd52f702057316018cd7847ab2bfe4aa1 Mon Sep 17 00:00:00 2001
From: Ada Christine <adachristine18@gmail.com>
Date: Tue, 26 May 2026 21:32:27 +0000
Subject: we're bringing kjarna back and not doing the crazy stuff with trying
 to have task management during efi. that was a bit extra.

---
 kc/core/pit8253.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kc/core/pit8253.c')

diff --git a/kc/core/pit8253.c b/kc/core/pit8253.c
index 360808f..31cf349 100644
--- a/kc/core/pit8253.c
+++ b/kc/core/pit8253.c
@@ -5,7 +5,7 @@
 
 #include <stdatomic.h>
 
-#include <lib/kstdio.h>
+#include <libc/stdio.h>
 
 #define PIT8253_DATA0 0x40
 #define PIT8253_CMD 0x43
@@ -82,9 +82,9 @@ void pit8253_set_frequency(uint32_t frequency)
 
     if (d > UINT16_MAX)
     {
-        kprintf("warning: %uHz is too slow for 8253 pit\n", PIT_HZ/d);
+        printf("warning: %uHz is too slow for 8253 pit\n", PIT_HZ/d);
         d = UINT16_MAX;
-        kprintf("warning: set timer to minimum frequency\n");
+        printf("warning: set timer to minimum frequency\n");
     }
 
     set_divisor(d);
-- 
cgit v1.3.1-1-g115d