2810 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in allocate_vpe_l1_table()  local
2825 	if (gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER) & GICR_VPENDBASER_Valid)  in allocate_vpe_l1_table()
2827 				      vlpi_base + GICR_VPENDBASER);  in allocate_vpe_l1_table()
2849 	gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in allocate_vpe_l1_table()
2850 	val = gicr_read_vpropbaser(vlpi_base + GICR_VPROPBASER);  in allocate_vpe_l1_table()
2921 	gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in allocate_vpe_l1_table()
3024 static u64 read_vpend_dirty_clear(void __iomem *vlpi_base)  in read_vpend_dirty_clear()  argument
3031 		val = gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER);  in read_vpend_dirty_clear()
3046 static u64 its_clear_vpend_valid(void __iomem *vlpi_base, u64 clr, u64 set)  in its_clear_vpend_valid()  argument
3051 	val = read_vpend_dirty_clear(vlpi_base);  in its_clear_vpend_valid()
3055 	gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);  in its_clear_vpend_valid()
3057 	val = read_vpend_dirty_clear(vlpi_base);  in its_clear_vpend_valid()
3162 		void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_cpu_init_lpis()  local
3174 		gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in its_cpu_init_lpis()
3181 		val = its_clear_vpend_valid(vlpi_base, 0, 0);  in its_cpu_init_lpis()
3868 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_wait_vpt_parse_complete()  local
3874 	WARN_ON_ONCE(readq_relaxed_poll_timeout_atomic(vlpi_base + GICR_VPENDBASER,  in its_wait_vpt_parse_complete()
3882 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_schedule()  local
3891 	gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);  in its_vpe_schedule()
3909 	gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);  in its_vpe_schedule()
3914 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_deschedule()  local
3917 	val = its_clear_vpend_valid(vlpi_base, 0, 0);  in its_vpe_deschedule()
4112 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_4_1_schedule()  local
4121 	gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);  in its_vpe_4_1_schedule()
4127 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();  in its_vpe_4_1_deschedule()  local
4144 		val = its_clear_vpend_valid(vlpi_base,  in its_vpe_4_1_deschedule()
4154 		val = its_clear_vpend_valid(vlpi_base,  in its_vpe_4_1_deschedule()