2 files changed, 7 insertions, 3 deletions
diff --git a/src/include/console/console.h b/src/include/console/console.h
index 98ee4581f1..f5301ee128 100644
--- a/src/include/console/console.h
+++ b/src/include/console/console.h
@@ -4,14 +4,17 @@
 #include <stdint.h>
 #include <console/loglevel.h>
 
-#ifndef __PRE_RAM__
+#ifndef __ROMCC__
 void console_init(void);
+void post_code(u8 value);
+void __attribute__ ((noreturn)) die(const char *msg);
+#endif
+
+#ifndef __PRE_RAM__
 void console_tx_byte(unsigned char byte);
 void console_tx_flush(void);
 unsigned char console_rx_byte(void);
 int console_tst_byte(void);
-void post_code(u8 value);
-void __attribute__ ((noreturn)) die(const char *msg);
 #if CONFIG_CONSOLE_VGA == 1
 void vga_console_init(void);
 #endif
diff --git a/src/include/lib.h b/src/include/lib.h
index 41b286a6b6..2a2b73a514 100644
--- a/src/include/lib.h
+++ b/src/include/lib.h
@@ -37,6 +37,7 @@ void move_gdt(void);
 
 /* Defined in src/lib/ramtest.c */
 void ram_check(unsigned long start, unsigned long stop);
+void quick_ram_check(void);
 
 /* Defined in src/pc80/serial.c */
 void uart_init(void);