Symbol: FLAGS_WORKAROUND_INSECURE
drivers/irqchip/irq-gic-v3.c
175
if ((gic_data.flags & FLAGS_WORKAROUND_INSECURE) && !ds) {
drivers/irqchip/irq-gic-v3.c
1862
d->flags |= FLAGS_WORKAROUND_INSECURE;