Searched defs:vlpi_base (Results 1 – 1 of 1) sorted by relevance
2592 void __iomem *vlpi_base = gic_data_rdist_vlpi_base(); in its_vpe_schedule() local2624 void __iomem *vlpi_base = gic_data_rdist_vlpi_base(); in its_vpe_deschedule() local
