diff --git a/arch/x86/include/asm/kb.h b/arch/x86/include/asm/kb.h
index 1b2dfb40..fcb55196 100644
--- a/arch/x86/include/asm/kb.h
+++ b/arch/x86/include/asm/kb.h
@@ -53,7 +53,9 @@ typedef struct
 
 extern kb_buffer_t kb_buffer;
 
-void kb_flush(); 
+void kb_init(size_t size, tid_t tid);
+
+void kb_finish(void);
 
 #endif
 
diff --git a/arch/x86/kernel/kb.c b/arch/x86/kernel/kb.c
index aabf040c..18a65ee7 100644
--- a/arch/x86/kernel/kb.c
+++ b/arch/x86/kernel/kb.c
@@ -36,7 +36,7 @@ void kb_init(size_t size, tid_t tid) {
 	return;
 }
 
-void kb_finish() {
+void kb_finish(void) {
 	kfree(kb_buffer.buffer, (kb_buffer.maxsize * sizeof(char)));	
 	kb_buffer.buffer = NULL;
 	kb_buffer.size = 0;