|
@@ -45,6 +45,7 @@ static const char *atlas6_dt_match[] __initdata = {
|
|
|
|
|
|
DT_MACHINE_START(ATLAS6_DT, "Generic ATLAS6 (Flattened Device Tree)")
|
|
|
/* Maintainer: Barry Song <baohua.song@csr.com> */
|
|
|
+ .nr_irqs = 128,
|
|
|
.map_io = sirfsoc_map_io,
|
|
|
.init_irq = irqchip_init,
|
|
|
.init_time = sirfsoc_prima2_timer_init,
|
|
@@ -63,6 +64,7 @@ static const char *prima2_dt_match[] __initdata = {
|
|
|
|
|
|
DT_MACHINE_START(PRIMA2_DT, "Generic PRIMA2 (Flattened Device Tree)")
|
|
|
/* Maintainer: Barry Song <baohua.song@csr.com> */
|
|
|
+ .nr_irqs = 128,
|
|
|
.map_io = sirfsoc_map_io,
|
|
|
.init_irq = irqchip_init,
|
|
|
.init_time = sirfsoc_prima2_timer_init,
|