|
@@ -269,11 +269,13 @@ static void __init gic_setup_intr(unsigned int intr, unsigned int cpu,
|
|
|
|
|
|
/* Setup Intr to Pin mapping */
|
|
|
if (pin & GIC_MAP_TO_NMI_MSK) {
|
|
|
+ int i;
|
|
|
+
|
|
|
GICWRITE(GIC_REG_ADDR(SHARED, GIC_SH_MAP_TO_PIN(intr)), pin);
|
|
|
/* FIXME: hack to route NMI to all cpu's */
|
|
|
- for (cpu = 0; cpu < NR_CPUS; cpu += 32) {
|
|
|
+ for (i = 0; i < NR_CPUS; i += 32) {
|
|
|
GICWRITE(GIC_REG_ADDR(SHARED,
|
|
|
- GIC_SH_MAP_TO_VPE_REG_OFF(intr, cpu)),
|
|
|
+ GIC_SH_MAP_TO_VPE_REG_OFF(intr, i)),
|
|
|
0xffffffff);
|
|
|
}
|
|
|
} else {
|