diff options
Diffstat (limited to 'src/include/console')
| -rw-r--r-- | src/include/console/console.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/include/console/console.h b/src/include/console/console.h index f5301ee128..50b3a0d7ce 100644 --- a/src/include/console/console.h +++ b/src/include/console/console.h @@ -44,6 +44,9 @@ extern int console_loglevel; #endif #ifndef __ROMCC__ +void console_init(void); +void post_code(u8 value); +void __attribute__ ((noreturn)) die(const char *msg); int do_printk(int msg_level, const char *fmt, ...) __attribute__((format(printf, 2, 3))); #undef WE_CLEANED_UP_ALL_SIDE_EFFECTS |