|
@@ -344,7 +344,7 @@ static void __init setup_processor(void)
|
|
|
cpu_cache = *list->cache;
|
|
|
#endif
|
|
|
|
|
|
- printk("CPU: %s [%08x] revision %d (ARMv%s), cr=%08x\n",
|
|
|
+ printk("CPU: %s [%08x] revision %d (ARMv%s), cr=%08lx\n",
|
|
|
cpu_name, processor_id, (int)processor_id & 15,
|
|
|
proc_arch[cpu_architecture()], cr_alignment);
|
|
|
|