gic_data_rdist_vlpi_base 2198 drivers/irqchip/irq-gic-v3-its.c 		void __iomem *vlpi_base = gic_data_rdist_vlpi_base();
gic_data_rdist_vlpi_base 2820 drivers/irqchip/irq-gic-v3-its.c 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();
gic_data_rdist_vlpi_base 2852 drivers/irqchip/irq-gic-v3-its.c 	void __iomem *vlpi_base = gic_data_rdist_vlpi_base();