fix 'deprecated' warnings
[coreboot.git] / src / boot / hardwaremain.c
index de7600743d9a0ddb8e0a2f391642cd8aa65a5188..6231d1167ed42b0e5cff4c81df9a224d19b6f7c0 100644 (file)
@@ -88,11 +88,11 @@ void secondary_cpu_init(void)
        int index;
 
        atomic_inc(&active_cpus);
-       printk_debug(__FUNCTION__ "\n");
+       printk_debug("%s\n", __FUNCTION__);
        mem = get_ramsize();
        id = cpu_initialize(mem);
        index = processor_index(id);
-       printk_debug(__FUNCTION__ "  %d/%u\n", index, id);
+       printk_debug("%s  %d/%u\n", __FUNCTION__ , index, id);
        processor_map[index] = CPU_ENABLED;
        atomic_dec(&active_cpus);
        stop_cpu(id);