diff options
Diffstat (limited to 'src/arch/i386/lib')
| -rw-r--r-- | src/arch/i386/lib/exception.c | 2 | ||||
| -rw-r--r-- | src/arch/i386/lib/printk_init.c | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/src/arch/i386/lib/exception.c b/src/arch/i386/lib/exception.c index cc923a8f35..f720ba8567 100644 --- a/src/arch/i386/lib/exception.c +++ b/src/arch/i386/lib/exception.c @@ -361,6 +361,8 @@ static void put_packet(char *buffer) #include <arch/registers.h> +void x86_exception(struct eregs *info); + void x86_exception(struct eregs *info) { #if CONFIG_GDB_STUB == 1 diff --git a/src/arch/i386/lib/printk_init.c b/src/arch/i386/lib/printk_init.c index 7e5dfa03dc..f0ad2551bb 100644 --- a/src/arch/i386/lib/printk_init.c +++ b/src/arch/i386/lib/printk_init.c @@ -32,6 +32,9 @@ int console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL; #define console_loglevel CONFIG_DEFAULT_CONSOLE_LOGLEVEL #endif +void console_tx_byte(unsigned char byte); +int do_printk(int msg_level, const char *fmt, ...); + void console_tx_byte(unsigned char byte) { if (byte == '\n') |