gic_data_rdist_vlpi_base

2901

void __iomem *vlpi_base = gic_data_rdist_vlpi_base();

3244

void __iomem *vlpi_base = gic_data_rdist_vlpi_base();

3998

void __iomem *vlpi_base = gic_data_rdist_vlpi_base();

4012

void __iomem *vlpi_base = gic_data_rdist_vlpi_base();

4048

void __iomem *vlpi_base = gic_data_rdist_vlpi_base();

4240

void __iomem *vlpi_base = gic_data_rdist_vlpi_base();

4255

void __iomem *vlpi_base = gic_data_rdist_vlpi_base();