Searched refs:vlpi_base (Results 1 – 1 of 1) sorted by relevance
2896 void __iomem *vlpi_base = gic_data_rdist_vlpi_base(); in allocate_vpe_l1_table() local2913 vlpi_base + GICR_VPENDBASER); in allocate_vpe_l1_table()3136 val = read_vpend_dirty_clear(vlpi_base); in its_clear_vpend_valid()3142 val = read_vpend_dirty_clear(vlpi_base); in its_clear_vpend_valid()3259 val = its_clear_vpend_valid(vlpi_base, 0, 0); in its_cpu_init_lpis()3986 void __iomem *vlpi_base = gic_data_rdist_vlpi_base(); in its_wait_vpt_parse_complete() local4000 void __iomem *vlpi_base = gic_data_rdist_vlpi_base(); in its_vpe_schedule() local4036 void __iomem *vlpi_base = gic_data_rdist_vlpi_base(); in its_vpe_deschedule() local4039 val = its_clear_vpend_valid(vlpi_base, 0, 0); in its_vpe_deschedule()4260 val = its_clear_vpend_valid(vlpi_base, in its_vpe_4_1_deschedule()[all …]