ITS_FLAGS_WORKAROUND_CAVIUM_23144 1154 drivers/irqchip/irq-gic-v3-its.c if (its_dev->its->flags & ITS_FLAGS_WORKAROUND_CAVIUM_23144) { ITS_FLAGS_WORKAROUND_CAVIUM_23144 2237 drivers/irqchip/irq-gic-v3-its.c if (its->flags & ITS_FLAGS_WORKAROUND_CAVIUM_23144) { ITS_FLAGS_WORKAROUND_CAVIUM_23144 2627 drivers/irqchip/irq-gic-v3-its.c if (its_dev->its->flags & ITS_FLAGS_WORKAROUND_CAVIUM_23144) ITS_FLAGS_WORKAROUND_CAVIUM_23144 3235 drivers/irqchip/irq-gic-v3-its.c its->flags |= ITS_FLAGS_WORKAROUND_CAVIUM_23144;