summaryrefslogtreecommitdiff
path: root/src/arch/i386
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/i386')
-rw-r--r--src/arch/i386/boot/gdt.c1
-rw-r--r--src/arch/i386/boot/tables.c2
-rw-r--r--src/arch/i386/include/div64.h3
-rw-r--r--src/arch/i386/lib/exception.c2
-rw-r--r--src/arch/i386/lib/printk_init.c3
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')