pre_its_window   3267 drivers/irqchip/irq-gic-v3-its.c 	u32 pre_its_window[2];
pre_its_window   3272 drivers/irqchip/irq-gic-v3-its.c 					   pre_its_window,
pre_its_window   3273 drivers/irqchip/irq-gic-v3-its.c 					   ARRAY_SIZE(pre_its_window))) {
pre_its_window   3275 drivers/irqchip/irq-gic-v3-its.c 		its->pre_its_base = pre_its_window[0];
pre_its_window   3278 drivers/irqchip/irq-gic-v3-its.c 		ids = ilog2(pre_its_window[1]) - 2;