GITS_CTLR_ITS_NUMBER 3551 drivers/irqchip/irq-gic-v3-its.c ctlr &= ~GITS_CTLR_ITS_NUMBER; GITS_CTLR_ITS_NUMBER 3555 drivers/irqchip/irq-gic-v3-its.c if ((ctlr & GITS_CTLR_ITS_NUMBER) != (its_number << GITS_CTLR_ITS_NUMBER_SHIFT)) { GITS_CTLR_ITS_NUMBER 3556 drivers/irqchip/irq-gic-v3-its.c its_number = ctlr & GITS_CTLR_ITS_NUMBER;