Home
last modified time | relevance | path

Searched refs:vlpi_base (Results 1 – 1 of 1) sorted by relevance

/drivers/irqchip/
Dirq-gic-v3-its.c2823 void __iomem *vlpi_base = gic_data_rdist_vlpi_base(); in allocate_vpe_l1_table() local
2838 if (gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER) & GICR_VPENDBASER_Valid) in allocate_vpe_l1_table()
2840 vlpi_base + GICR_VPENDBASER); in allocate_vpe_l1_table()
2862 gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER); in allocate_vpe_l1_table()
2863 val = gicr_read_vpropbaser(vlpi_base + GICR_VPROPBASER); in allocate_vpe_l1_table()
2934 gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER); in allocate_vpe_l1_table()
3035 static u64 read_vpend_dirty_clear(void __iomem *vlpi_base) in read_vpend_dirty_clear() argument
3042 val = gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER); in read_vpend_dirty_clear()
3057 static u64 its_clear_vpend_valid(void __iomem *vlpi_base, u64 clr, u64 set) in its_clear_vpend_valid() argument
3062 val = read_vpend_dirty_clear(vlpi_base); in its_clear_vpend_valid()
[all …]