Searched refs:gicr_write_vpendbaser (Results 1 – 3 of 3) sorted by relevance
146 #define gicr_write_vpendbaser(v, c) writeq_relaxed(v, c) macro
224 static inline void gicr_write_vpendbaser(u64 val, void __iomem *addr) in gicr_write_vpendbaser() function
2809 gicr_write_vpendbaser(GICR_VPENDBASER_PendingLast, in allocate_vpe_l1_table()3015 gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER); in its_clear_vpend_valid()3843 gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER); in its_vpe_schedule()4053 gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER); in its_vpe_4_1_schedule()