2821 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in allocate_vpe_l1_table()  local
2836 	if (gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER) & GICR_VPENDBASER_Valid)  in allocate_vpe_l1_table()
2838 				      vlpi_base + GICR_VPENDBASER);  in allocate_vpe_l1_table()
2860 	gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in allocate_vpe_l1_table()
2861 	val = gicr_read_vpropbaser(vlpi_base + GICR_VPROPBASER);  in allocate_vpe_l1_table()
2934 	gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in allocate_vpe_l1_table()
3035 static u64 read_vpend_dirty_clear(void __iomem *vlpi_base)  in read_vpend_dirty_clear()  argument
3042 		val = gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER);  in read_vpend_dirty_clear()
3057 static u64 its_clear_vpend_valid(void __iomem *vlpi_base, u64 clr, u64 set)  in its_clear_vpend_valid()  argument
3062 	val = read_vpend_dirty_clear(vlpi_base);  in its_clear_vpend_valid()
3066 	gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);  in its_clear_vpend_valid()
3068 	val = read_vpend_dirty_clear(vlpi_base);  in its_clear_vpend_valid()
3166 		void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_cpu_init_lpis()  local
3178 		gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in its_cpu_init_lpis()
3185 		val = its_clear_vpend_valid(vlpi_base, 0, 0);  in its_cpu_init_lpis()
3855 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_wait_vpt_parse_complete()  local
3861 	WARN_ON_ONCE(readq_relaxed_poll_timeout_atomic(vlpi_base + GICR_VPENDBASER,  in its_wait_vpt_parse_complete()
3869 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_schedule()  local
3880 	gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in its_vpe_schedule()
3900 	gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);  in its_vpe_schedule()
3905 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_deschedule()  local
3908 	val = its_clear_vpend_valid(vlpi_base, 0, 0);  in its_vpe_deschedule()
4095 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_4_1_schedule()  local
4104 	gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);  in its_vpe_4_1_schedule()
4110 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_4_1_deschedule()  local
4127 		val = its_clear_vpend_valid(vlpi_base,  in its_vpe_4_1_deschedule()
4137 		val = its_clear_vpend_valid(vlpi_base,  in its_vpe_4_1_deschedule()