GICR_SYNCR       2775 drivers/irqchip/irq-gic-v3-its.c 		while (gic_read_lpir(rdbase + GICR_SYNCR) & 1)
GICR_SYNCR       2932 drivers/irqchip/irq-gic-v3-its.c 		while (gic_read_lpir(rdbase + GICR_SYNCR) & 1)
GICR_SYNCR       2975 drivers/irqchip/irq-gic-v3-its.c 			while (gic_read_lpir(rdbase + GICR_SYNCR) & 1)