Lines Matching refs:val
42 static inline void write_ ## a64(u32 val) \
44 write_sysreg(val, a32); \
67 static inline void gic_write_dir(u32 val)
69 write_sysreg(val, ICC_DIR);
82 static inline void gic_write_ctlr(u32 val)
84 write_sysreg(val, ICC_CTLR);
93 static inline void gic_write_grpen1(u32 val)
95 write_sysreg(val, ICC_IGRPEN1);
99 static inline void gic_write_sgi1r(u64 val)
101 write_sysreg(val, ICC_SGI1R);
109 static inline void gic_write_sre(u32 val)
111 write_sysreg(val, ICC_SRE);
115 static inline void gic_write_bpr1(u32 val)
117 write_sysreg(val, ICC_BPR1);
125 static inline void gic_write_pmr(u32 val)
127 write_sysreg(val, ICC_PMR);
144 static inline void __gic_writeq_nonatomic(u64 val, volatile void __iomem *addr)
146 writel_relaxed((u32)val, addr);
147 writel_relaxed((u32)(val >> 32), addr + 4);
152 u64 val;
154 val = readl_relaxed(addr);
155 val |= (u64)readl_relaxed(addr + 4) << 32;
156 return val;
219 static inline void gicr_write_vpendbaser(u64 val, void __iomem *addr)
233 __gic_writeq_nonatomic(val, addr);