1420 static void wait_for_syncr(void __iomem *rdbase)  in wait_for_syncr()  argument
1422 	while (readl_relaxed(rdbase + GICR_SYNCR) & 1)  in wait_for_syncr()
1429 	void __iomem *rdbase;  in direct_lpi_inv()  local
1449 	rdbase = per_cpu_ptr(gic_rdists->rdist, cpu)->rd_base;  in direct_lpi_inv()
1450 	gic_write_lpir(val, rdbase + GICR_INVLPIR);  in direct_lpi_inv()
1452 	wait_for_syncr(rdbase);  in direct_lpi_inv()
3801 		void __iomem *rdbase;  in its_vpe_db_proxy_move()  local
3803 		rdbase = per_cpu_ptr(gic_rdists->rdist, from)->rd_base;  in its_vpe_db_proxy_move()
3804 		gic_write_lpir(vpe->vpe_db_lpi, rdbase + GICR_CLRLPIR);  in its_vpe_db_proxy_move()
3805 		wait_for_syncr(rdbase);  in its_vpe_db_proxy_move()
3988 		void __iomem *rdbase;  in its_vpe_send_inv()  local
3992 		rdbase = per_cpu_ptr(gic_rdists->rdist, vpe->col_idx)->rd_base;  in its_vpe_send_inv()
3993 		gic_write_lpir(d->parent_data->hwirq, rdbase + GICR_INVLPIR);  in its_vpe_send_inv()
3994 		wait_for_syncr(rdbase);  in its_vpe_send_inv()
4030 		void __iomem *rdbase;  in its_vpe_set_irqchip_state()  local
4032 		rdbase = per_cpu_ptr(gic_rdists->rdist, vpe->col_idx)->rd_base;  in its_vpe_set_irqchip_state()
4034 			gic_write_lpir(vpe->vpe_db_lpi, rdbase + GICR_SETLPIR);  in its_vpe_set_irqchip_state()
4036 			gic_write_lpir(vpe->vpe_db_lpi, rdbase + GICR_CLRLPIR);  in its_vpe_set_irqchip_state()
4037 			wait_for_syncr(rdbase);  in its_vpe_set_irqchip_state()
4163 	void __iomem *rdbase;  in its_vpe_4_1_invall()  local
4174 	rdbase = per_cpu_ptr(gic_rdists->rdist, cpu)->rd_base;  in its_vpe_4_1_invall()
4175 	gic_write_lpir(val, rdbase + GICR_INVALLR);  in its_vpe_4_1_invall()
4177 	wait_for_syncr(rdbase);  in its_vpe_4_1_invall()