Symbol: gicr_write_vpendbaser
arch/arm/include/asm/arch_gicv3.h
219
static inline void gicr_write_vpendbaser(u64 val, void __iomem *addr)
arch/arm64/include/asm/arch_gicv3.h
168
#define gicr_write_vpendbaser(v, c) writeq_relaxed(v, c)