diff options
| -rw-r--r-- | src/include/console/console.h | 9 | ||||
| -rw-r--r-- | src/include/lib.h | 1 |
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); |