printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / southbridge / amd / amd8111 / amd8111_lpc.c
index edb32c240c8c830f23da4ce2ab6446cfbc51322c..85e217bb659bee088d777508a07f81f5523bd36e 100644 (file)
@@ -22,7 +22,7 @@ static void enable_hpet(struct device *dev)
        
        pci_write_config32(dev,0xa0, 0xfed00001);
        hpet_address = pci_read_config32(dev,0xa0)& 0xfffffffe;
-       printk_debug("enabling HPET @0x%lx\n", hpet_address);
+       printk(BIOS_DEBUG, "enabling HPET @0x%lx\n", hpet_address);
        
 }