diff options
Diffstat (limited to 'src/arch/i386')
-rw-r--r-- | src/arch/i386/boot/gdt.c | 1 | ||||
-rw-r--r-- | src/arch/i386/boot/tables.c | 2 | ||||
-rw-r--r-- | src/arch/i386/include/div64.h | 3 | ||||
-rw-r--r-- | src/arch/i386/lib/exception.c | 2 | ||||
-rw-r--r-- | src/arch/i386/lib/printk_init.c | 3 |
5 files changed, 9 insertions, 2 deletions
diff --git a/src/arch/i386/boot/gdt.c b/src/arch/i386/boot/gdt.c index 232502753f..c4ed37486d 100644 --- a/src/arch/i386/boot/gdt.c +++ b/src/arch/i386/boot/gdt.c @@ -33,6 +33,7 @@ struct gdtarg { } __attribute__((packed)); // Copy GDT to new location and reload it +void move_gdt(void); void move_gdt(void) { void *newgdt; diff --git a/src/arch/i386/boot/tables.c b/src/arch/i386/boot/tables.c index a6c44eb49f..b47826dd06 100644 --- a/src/arch/i386/boot/tables.c +++ b/src/arch/i386/boot/tables.c @@ -34,8 +34,6 @@ uint64_t high_tables_base = 0; uint64_t high_tables_size; -void cbmem_list(void); - void move_gdt(void); void cbmem_arch_init(void) { diff --git a/src/arch/i386/include/div64.h b/src/arch/i386/include/div64.h index 28ed8b296a..3634f6dd14 100644 --- a/src/arch/i386/include/div64.h +++ b/src/arch/i386/include/div64.h @@ -36,6 +36,9 @@ #define div_long_long_rem(a,b,c) div_ll_X_l_rem(a,b,c) extern inline long +div_ll_X_l_rem(long long divs, long div, long *rem); + +extern inline long div_ll_X_l_rem(long long divs, long div, long *rem) { long dum2; 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') |