printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / superio / ite / it8716f / superio.c

diff --git a/src/superio/ite/it8716f/superio.c b/src/superio/ite/it8716f/superio.c
index 52d2fc0f00ff317f601ad711d2bf1dfb3dcb2d08..e4ba7b4a55b52d4140681dd09109170a5b48dd29 100644 (file)
--- a/src/superio/ite/it8716f/superio.c
+++ b/src/superio/ite/it8716f/superio.c
@@ -72,13 +72,13 @@ static void init_ec(uint16_t base)
 
        /* Read out current value of FAN_CTL control register (0x14). */
        value = pnp_read_index(base, 0x14);
-       printk_debug("FAN_CTL: reg = 0x%04x, read value = 0x%02x\r\n",
+       printk(BIOS_DEBUG, "FAN_CTL: reg = 0x%04x, read value = 0x%02x\r\n",
                     base + 0x14, value);
 
        /* Set FAN_CTL control register (0x14) polarity to high, and
           activate fans 1, 2 and 3. */
        pnp_write_index(base, 0x14, value | 0x87);
-       printk_debug("FAN_CTL: reg = 0x%04x, writing value = 0x%02x\r\n",
+       printk(BIOS_DEBUG, "FAN_CTL: reg = 0x%04x, writing value = 0x%02x\r\n",
                     base + 0x14, value | 0x87);
 }
 #endif
@@ -112,7 +112,7 @@ static void it8716f_init(device_t dev)
        case IT8716F_KBCK:
                res0 = find_resource(dev, PNP_IDX_IO0);
                res1 = find_resource(dev, PNP_IDX_IO1);
-               init_pc_keyboard(res0->base, res1->base, &conf->keyboard);
+               pc_keyboard_init(&conf->keyboard);
                break;
        }
 }