1424 static void wait_for_syncr(void __iomem *rdbase)  in wait_for_syncr()  argument
1426 	while (readl_relaxed(rdbase + GICR_SYNCR) & 1)  in wait_for_syncr()
1433 	void __iomem *rdbase;  in direct_lpi_inv()  local
1453 	rdbase = per_cpu_ptr(gic_rdists->rdist, cpu)->rd_base;  in direct_lpi_inv()
1454 	gic_write_lpir(val, rdbase + GICR_INVLPIR);  in direct_lpi_inv()
1456 	wait_for_syncr(rdbase);  in direct_lpi_inv()
3743 		void __iomem *rdbase;  in its_vpe_db_proxy_move()  local
3745 		rdbase = per_cpu_ptr(gic_rdists->rdist, from)->rd_base;  in its_vpe_db_proxy_move()
3746 		gic_write_lpir(vpe->vpe_db_lpi, rdbase + GICR_CLRLPIR);  in its_vpe_db_proxy_move()
3747 		wait_for_syncr(rdbase);  in its_vpe_db_proxy_move()
3930 		void __iomem *rdbase;  in its_vpe_send_inv()  local
3934 		rdbase = per_cpu_ptr(gic_rdists->rdist, vpe->col_idx)->rd_base;  in its_vpe_send_inv()
3935 		gic_write_lpir(d->parent_data->hwirq, rdbase + GICR_INVLPIR);  in its_vpe_send_inv()
3936 		wait_for_syncr(rdbase);  in its_vpe_send_inv()
3972 		void __iomem *rdbase;  in its_vpe_set_irqchip_state()  local
3974 		rdbase = per_cpu_ptr(gic_rdists->rdist, vpe->col_idx)->rd_base;  in its_vpe_set_irqchip_state()
3976 			gic_write_lpir(vpe->vpe_db_lpi, rdbase + GICR_SETLPIR);  in its_vpe_set_irqchip_state()
3978 			gic_write_lpir(vpe->vpe_db_lpi, rdbase + GICR_CLRLPIR);  in its_vpe_set_irqchip_state()
3979 			wait_for_syncr(rdbase);  in its_vpe_set_irqchip_state()
4105 	void __iomem *rdbase;  in its_vpe_4_1_invall()  local
4116 	rdbase = per_cpu_ptr(gic_rdists->rdist, cpu)->rd_base;  in its_vpe_4_1_invall()
4117 	gic_write_lpir(val, rdbase + GICR_INVALLR);  in its_vpe_4_1_invall()
4119 	wait_for_syncr(rdbase);  in its_vpe_4_1_invall()