printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / southbridge / amd / cs5530 / cs5530_vga.c
index 9347a081b8516736a481812524d0875e83377e8c..2a2a8d8bdfa5ab2abd38a8d233d2f18f19edda61 100644 (file)
@@ -460,7 +460,7 @@ static void cs5530_vga_init(device_t dev)
        gx_base = GX_BASE;
        mode = modes[CONFIG_GX1_VIDEOMODE];
 
-       printk_debug("Setting up video mode %dx%d with %d Hz clock\n",
+       printk(BIOS_DEBUG, "Setting up video mode %dx%d with %d Hz clock\n",
                mode->visible_pixel, mode->visible_lines, mode->pixel_clock);
 
        cs5530_set_clock_frequency(io_base, mode->pll_value);