2804 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in allocate_vpe_l1_table()  local
2819 	if (gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER) & GICR_VPENDBASER_Valid)  in allocate_vpe_l1_table()
2821 				      vlpi_base + GICR_VPENDBASER);  in allocate_vpe_l1_table()
2843 	gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in allocate_vpe_l1_table()
2844 	val = gicr_read_vpropbaser(vlpi_base + GICR_VPROPBASER);  in allocate_vpe_l1_table()
2915 	gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in allocate_vpe_l1_table()
3016 static u64 read_vpend_dirty_clear(void __iomem *vlpi_base)  in read_vpend_dirty_clear()  argument
3023 		val = gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER);  in read_vpend_dirty_clear()
3038 static u64 its_clear_vpend_valid(void __iomem *vlpi_base, u64 clr, u64 set)  in its_clear_vpend_valid()  argument
3043 	val = read_vpend_dirty_clear(vlpi_base);  in its_clear_vpend_valid()
3047 	gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);  in its_clear_vpend_valid()
3049 	val = read_vpend_dirty_clear(vlpi_base);  in its_clear_vpend_valid()
3140 		void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_cpu_init_lpis()  local
3152 		gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in its_cpu_init_lpis()
3159 		val = its_clear_vpend_valid(vlpi_base, 0, 0);  in its_cpu_init_lpis()
3825 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_wait_vpt_parse_complete()  local
3831 	WARN_ON_ONCE(readq_relaxed_poll_timeout_atomic(vlpi_base + GICR_VPENDBASER,  in its_wait_vpt_parse_complete()
3839 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_schedule()  local
3848 	gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in its_vpe_schedule()
3866 	gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);  in its_vpe_schedule()
3871 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_deschedule()  local
3874 	val = its_clear_vpend_valid(vlpi_base, 0, 0);  in its_vpe_deschedule()
4069 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_4_1_schedule()  local
4078 	gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);  in its_vpe_4_1_schedule()
4084 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_4_1_deschedule()  local
4101 		val = its_clear_vpend_valid(vlpi_base,  in its_vpe_4_1_deschedule()
4111 		val = its_clear_vpend_valid(vlpi_base,  in its_vpe_4_1_deschedule()