printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / mainboard / via / epia-m / mainboard.c

diff --git a/src/mainboard/via/epia-m/mainboard.c b/src/mainboard/via/epia-m/mainboard.c
index da27732d637833edc3d48d7c3dd2340105fab129..0fe49fc46f83285db3678669ad2eaab86d95e122 100644 (file)
--- a/src/mainboard/via/epia-m/mainboard.c
+++ b/src/mainboard/via/epia-m/mainboard.c
@@ -5,6 +5,7 @@
 #include <device/pci_ops.h>
 #include <arch/io.h>
 #include "chip.h"
+#include "vgachip.h"
 
 void vga_enable_console();
 
@@ -13,11 +14,11 @@ static void vga_fixup(void) {
         // we do this right here because:
         // - all the hardware is working, and some VGA bioses seem to need
         //   that
-        // - we need page 0 below for linuxbios tables.
+        // - we need page 0 below for coreboot tables.
 
-        printk_debug("INSTALL REAL-MODE IDT\n");
+        printk(BIOS_DEBUG, "INSTALL REAL-MODE IDT\n");
         setup_realmode_idt();
-        printk_debug("DO THE VGA BIOS\n");
+        printk(BIOS_DEBUG, "DO THE VGA BIOS\n");
         do_vgabios();
         post_code(0x93);
        vga_enable_console();
@@ -29,7 +30,7 @@ void write_protect_vgabios(void)
 {
        device_t dev;
  
-       printk_info("write_protect_vgabios\n");
+       printk(BIOS_INFO, "write_protect_vgabios\n");
        /* there are two possible devices. Just do both. */
        dev = dev_find_device(PCI_VENDOR_ID_VIA, 0x3122, 0);
        if(dev)
@@ -40,7 +41,7 @@ void write_protect_vgabios(void)
                pci_write_config8(dev, 0x61, 0xaa);
 }
 
-struct chip_operations mainboard_via_epia_m_ops = {
-       CHIP_NAME("VIA EPIA-M mainboard ")
+struct chip_operations mainboard_ops = {
+       CHIP_NAME("VIA EPIA-M Mainboard")
 };