Searched refs:gicirq (Results 1 – 1 of 1) sorted by relevance
293 irq_hw_number_t gicirq = irqd_to_hwirq(d); in gic_set_type() local298 if (gicirq < 16) in gic_set_type()302 if (gicirq >= 32 && type != IRQ_TYPE_LEVEL_HIGH && in gic_set_type()306 ret = gic_configure_irq(gicirq, type, base + GIC_DIST_CONFIG); in gic_set_type()307 if (ret && gicirq < 32) { in gic_set_type()309 pr_warn("GIC: PPI%ld is secure or misconfigured\n", gicirq - 16); in gic_set_type()