Searched refs:gicr_read_vpendbaser (Results 1 – 3 of 3) sorted by relevance
148 #define gicr_read_vpendbaser(c) readq_relaxed(c) macro
241 #define gicr_read_vpendbaser(c) __gic_readq_nonatomic(c) macro
2813 if (gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER) & GICR_VPENDBASER_Valid) in allocate_vpe_l1_table()3016 val = gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER); in its_clear_vpend_valid()3023 val = gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER); in its_clear_vpend_valid()
Completed in 14 milliseconds