Searched refs:gic_nr (Results 1 – 2 of 2) sorted by relevance
135 void gic_cascade_irq(unsigned int gic_nr, unsigned int irq);136 int gic_cpu_if_down(unsigned int gic_nr);
414 void __init gic_cascade_irq(unsigned int gic_nr, unsigned int irq) in gic_cascade_irq() argument416 BUG_ON(gic_nr >= CONFIG_ARM_GIC_MAX_NR); in gic_cascade_irq()418 &gic_data[gic_nr]); in gic_cascade_irq()533 int gic_cpu_if_down(unsigned int gic_nr) in gic_cpu_if_down() argument538 if (gic_nr >= CONFIG_ARM_GIC_MAX_NR) in gic_cpu_if_down()541 cpu_base = gic_data_cpu_base(&gic_data[gic_nr]); in gic_cpu_if_down()910 unsigned int cur_cpu_id, gic_irqs, gic_nr = 0; in gic_migrate_target() local915 BUG_ON(gic_nr >= CONFIG_ARM_GIC_MAX_NR); in gic_migrate_target()917 dist_base = gic_data_dist_base(&gic_data[gic_nr]); in gic_migrate_target()920 gic_irqs = gic_data[gic_nr].gic_irqs; in gic_migrate_target()
