|
@@ -127,7 +127,7 @@ static inline void gic_set_base_accessor(struct gic_chip_data *data,
|
|
|
#else
|
|
|
#define gic_data_dist_base(d) ((d)->dist_base.common_base)
|
|
|
#define gic_data_cpu_base(d) ((d)->cpu_base.common_base)
|
|
|
-#define gic_set_base_accessor(d,f)
|
|
|
+#define gic_set_base_accessor(d, f)
|
|
|
#endif
|
|
|
|
|
|
static inline void __iomem *gic_dist_base(struct irq_data *d)
|
|
@@ -807,7 +807,7 @@ void __cpuinit gic_secondary_init(unsigned int gic_nr)
|
|
|
}
|
|
|
|
|
|
#ifdef CONFIG_OF
|
|
|
-static int gic_cnt __initdata = 0;
|
|
|
+static int gic_cnt __initdata;
|
|
|
|
|
|
int __init gic_of_init(struct device_node *node, struct device_node *parent)
|
|
|
{
|