Symbol: has_v4_1_sgi
drivers/irqchip/irq-gic-v4.c
124
if (!has_v4_1_sgi())
drivers/irqchip/irq-gic-v4.c
206
if (!has_v4_1_sgi())