diff options
| -rw-r--r-- | src/include/console/console.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/include/console/console.h b/src/include/console/console.h index 50b3a0d7ce..be91988291 100644 --- a/src/include/console/console.h +++ b/src/include/console/console.h @@ -4,12 +4,6 @@ #include <stdint.h> #include <console/loglevel.h> -#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); |