its_number       3534 drivers/irqchip/irq-gic-v3-its.c 	int its_number;
its_number       3543 drivers/irqchip/irq-gic-v3-its.c 	its_number = find_first_zero_bit(&its_list_map, GICv4_ITS_LIST_MAX);
its_number       3544 drivers/irqchip/irq-gic-v3-its.c 	if (its_number >= GICv4_ITS_LIST_MAX) {
its_number       3552 drivers/irqchip/irq-gic-v3-its.c 	ctlr |= its_number << GITS_CTLR_ITS_NUMBER_SHIFT;
its_number       3555 drivers/irqchip/irq-gic-v3-its.c 	if ((ctlr & GITS_CTLR_ITS_NUMBER) != (its_number << GITS_CTLR_ITS_NUMBER_SHIFT)) {
its_number       3556 drivers/irqchip/irq-gic-v3-its.c 		its_number = ctlr & GITS_CTLR_ITS_NUMBER;
its_number       3557 drivers/irqchip/irq-gic-v3-its.c 		its_number >>= GITS_CTLR_ITS_NUMBER_SHIFT;
its_number       3560 drivers/irqchip/irq-gic-v3-its.c 	if (test_and_set_bit(its_number, &its_list_map)) {
its_number       3562 drivers/irqchip/irq-gic-v3-its.c 		       &res->start, its_number);
its_number       3566 drivers/irqchip/irq-gic-v3-its.c 	return its_number;