printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / cpu / amd / quadcore / amd_sibling.c
index 999c51807c0f02a10fc6d811c22086630db9614b..4f5c68efd5f27e4b4277e03b23432ab64d4963c1 100644 (file)
@@ -114,7 +114,7 @@ u32 get_apicid_base(u32 ioapic_num)
 
        if((apicid_base+ioapic_num-1)>0xf) {
                // We need to enable APIC EXT ID
-               printk_spew("if the IO APIC device doesn't support 256 apic id, \r\n you need to set CONFIG_ENABLE_APIC_EXT_ID in MB Option.lb so you can spare 16 id for ioapic\r\n");
+               printk(BIOS_SPEW, "if the IO APIC device doesn't support 256 apic id, \r\n you need to set CONFIG_ENABLE_APIC_EXT_ID in MB Option.lb so you can spare 16 id for ioapic\r\n");
                enable_apic_ext_id(sysconf.nodes);
        }