diff --git a/arch/x86/console.c b/arch/x86/console.c
index 67e799da44..a4d57f8f57 100644
--- a/arch/x86/console.c
+++ b/arch/x86/console.c
@@ -10,12 +10,13 @@
 int vtxprintf(void (*)(unsigned char, void *arg), 
 		void *arg, const char *, va_list);
 
+
 static int console_loglevel(void)
 {
 	return CONFIG_DEFAULT_CONSOLE_LOGLEVEL;
 }
 
-void console_tx_byte(unsigned char byte, void *ignored)
+void console_tx_byte(unsigned char byte)
 {
 	if (byte == '\n') {
 		uart8250_tx_byte(TTYSx_BASE, '\r');
diff --git a/include/console/console.h b/include/console/console.h
index 47182de210..5bbbd50248 100644
--- a/include/console/console.h
+++ b/include/console/console.h
@@ -42,8 +42,6 @@ struct console_driver {
 extern struct console_driver console_drivers[];
 extern struct console_driver econsole_drivers[];
 
-extern int console_loglevel;
-
 // 
 int printk(int msg_level, const char *fmt, ...);