printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / arch / i386 / boot / gdt.c

diff --git a/src/arch/i386/boot/gdt.c b/src/arch/i386/boot/gdt.c
index c4ed37486d7c21d9af2b5daff7a4d2dceb56ac04..b425ade59d60f65150f2171add1d6b342f739352 100644 (file)
--- a/src/arch/i386/boot/gdt.c
+++ b/src/arch/i386/boot/gdt.c
@@ -20,6 +20,7 @@
 #include <types.h>
 #include <string.h>
 #include <cbmem.h>
+#include <lib.h>
 #include <console/console.h>
 
 // Global Descriptor Table, defined in c_start.S
@@ -33,7 +34,6 @@ struct gdtarg {
 } __attribute__((packed));
 
 // Copy GDT to new location and reload it
-void move_gdt(void);
 void move_gdt(void)
 {
        void *newgdt;
@@ -47,14 +47,14 @@ void move_gdt(void)
                        printk(BIOS_ERR, "Error: Could not relocate GDT.\n");
                        return;
                }
-               printk_debug("Moving GDT to %#lx...", newgdt);
+               printk(BIOS_DEBUG, "Moving GDT to %p...", newgdt);
                memcpy((void*)newgdt, &gdt, num_gdt_bytes);
        }
 
-       gdtarg.base = newgdt;
+       gdtarg.base = (u32)newgdt;
        gdtarg.limit = num_gdt_bytes - 1;
 
        __asm__ __volatile__ ("lgdt %0\n\t" : : "m" (gdtarg));
-       printk_debug("ok\n");
+       printk(BIOS_DEBUG, "ok\n");
 }