|
@@ -177,7 +177,7 @@ void __init leon_boot_cpus(void)
|
|
|
int nrcpu = leon_smp_nrcpus();
|
|
|
int me = smp_processor_id();
|
|
|
|
|
|
- printk(KERN_INFO "%d:(%d:%d) cpus mpirq at 0x%x \n", (unsigned int)me,
|
|
|
+ printk(KERN_INFO "%d:(%d:%d) cpus mpirq at 0x%x\n", (unsigned int)me,
|
|
|
(unsigned int)nrcpu, (unsigned int)NR_CPUS,
|
|
|
(unsigned int)&(leon3_irqctrl_regs->mpstatus));
|
|
|
|
|
@@ -226,7 +226,7 @@ int __cpuinit leon_boot_one_cpu(int i)
|
|
|
break;
|
|
|
udelay(200);
|
|
|
}
|
|
|
- printk(KERN_INFO "Started CPU %d \n", (unsigned int)i);
|
|
|
+ printk(KERN_INFO "Started CPU %d\n", (unsigned int)i);
|
|
|
|
|
|
if (!(cpu_callin_map[i])) {
|
|
|
printk(KERN_ERR "Processor %d is stuck.\n", i);
|