printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / arch / i386 / boot / gdt.c
index 069d7b357736d92f5c8fc850a89a0c8f25acc58c..b425ade59d60f65150f2171add1d6b342f739352 100644 (file)
@@ -47,7 +47,7 @@ void move_gdt(void)
                        printk(BIOS_ERR, "Error: Could not relocate GDT.\n");
                        return;
                }
-               printk_debug("Moving GDT to %p...", newgdt);
+               printk(BIOS_DEBUG, "Moving GDT to %p...", newgdt);
                memcpy((void*)newgdt, &gdt, num_gdt_bytes);
        }
 
@@ -55,6 +55,6 @@ void move_gdt(void)
        gdtarg.limit = num_gdt_bytes - 1;
 
        __asm__ __volatile__ ("lgdt %0\n\t" : : "m" (gdtarg));
-       printk_debug("ok\n");
+       printk(BIOS_DEBUG, "ok\n");
 }