GICv4_ITS_LIST_MAX 3543 drivers/irqchip/irq-gic-v3-its.c 	its_number = find_first_zero_bit(&its_list_map, GICv4_ITS_LIST_MAX);
GICv4_ITS_LIST_MAX 3544 drivers/irqchip/irq-gic-v3-its.c 	if (its_number >= GICv4_ITS_LIST_MAX) {
GICv4_ITS_LIST_MAX   28 include/linux/irqchip/arm-gic-v4.h 	u32			vlpi_count[GICv4_ITS_LIST_MAX];