diff --git a/Kernel.cpp b/Kernel.cpp
index 30ef45a2..af478f11 100644
--- a/Kernel.cpp
+++ b/Kernel.cpp
@@ -24,7 +24,7 @@ extern "C" int printf_(const char *format, ...);
 extern "C" int vprintf_(const char *format, va_list arg);
 #endif
 
-void KPrint(const char *format, ...)
+EXTERNC void KPrint(const char *format, ...)
 {
     SMARTLOCK(KernelLock);
     Time tm = ReadClock();
diff --git a/kernel.h b/kernel.h
index 5faf20c6..6c014c21 100644
--- a/kernel.h
+++ b/kernel.h
@@ -19,6 +19,7 @@ extern Power::Power *PowerManager;
 extern PCI::PCI *PCIManager;
 #endif
 
+EXTERNC void KPrint(const char *format, ...);
 EXTERNC void Entry(struct BootInfo *Info);
 
 #endif // !__FENNIX_KERNEL_KERNEL_H__