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;