Searched refs:gicirq (Results 1 – 1 of 1) sorted by relevance
296 unsigned int gicirq = gic_irq(d); in gic_set_type() local299 if (gicirq < 16) in gic_set_type()303 if (gicirq >= 32 && type != IRQ_TYPE_LEVEL_HIGH && in gic_set_type()307 return gic_configure_irq(gicirq, type, base, NULL); in gic_set_type()
