1428 static void wait_for_syncr(void __iomem *rdbase)  in wait_for_syncr()  argument
1430 	while (readl_relaxed(rdbase + GICR_SYNCR) & 1)  in wait_for_syncr()
1437 	void __iomem *rdbase;  in direct_lpi_inv()  local
1457 	rdbase = per_cpu_ptr(gic_rdists->rdist, cpu)->rd_base;  in direct_lpi_inv()
1458 	gic_write_lpir(val, rdbase + GICR_INVLPIR);  in direct_lpi_inv()
1460 	wait_for_syncr(rdbase);  in direct_lpi_inv()
3758 		void __iomem *rdbase;  in its_vpe_db_proxy_move()  local
3760 		rdbase = per_cpu_ptr(gic_rdists->rdist, from)->rd_base;  in its_vpe_db_proxy_move()
3761 		gic_write_lpir(vpe->vpe_db_lpi, rdbase + GICR_CLRLPIR);  in its_vpe_db_proxy_move()
3762 		wait_for_syncr(rdbase);  in its_vpe_db_proxy_move()
3945 		void __iomem *rdbase;  in its_vpe_send_inv()  local
3949 		rdbase = per_cpu_ptr(gic_rdists->rdist, vpe->col_idx)->rd_base;  in its_vpe_send_inv()
3950 		gic_write_lpir(d->parent_data->hwirq, rdbase + GICR_INVLPIR);  in its_vpe_send_inv()
3951 		wait_for_syncr(rdbase);  in its_vpe_send_inv()
3987 		void __iomem *rdbase;  in its_vpe_set_irqchip_state()  local
3989 		rdbase = per_cpu_ptr(gic_rdists->rdist, vpe->col_idx)->rd_base;  in its_vpe_set_irqchip_state()
3991 			gic_write_lpir(vpe->vpe_db_lpi, rdbase + GICR_SETLPIR);  in its_vpe_set_irqchip_state()
3993 			gic_write_lpir(vpe->vpe_db_lpi, rdbase + GICR_CLRLPIR);  in its_vpe_set_irqchip_state()
3994 			wait_for_syncr(rdbase);  in its_vpe_set_irqchip_state()
4120 	void __iomem *rdbase;  in its_vpe_4_1_invall()  local
4131 	rdbase = per_cpu_ptr(gic_rdists->rdist, cpu)->rd_base;  in its_vpe_4_1_invall()
4132 	gic_write_lpir(val, rdbase + GICR_INVALLR);  in its_vpe_4_1_invall()
4134 	wait_for_syncr(rdbase);  in its_vpe_4_1_invall()