Lines Matching refs:val
42 static inline void write_ ## a64(u32 val) \
44 write_sysreg(val, a32); \
72 static inline void gic_write_dir(u32 val)
74 write_sysreg(val, ICC_DIR);
87 static inline void gic_write_ctlr(u32 val)
89 write_sysreg(val, ICC_CTLR);
98 static inline void gic_write_grpen1(u32 val)
100 write_sysreg(val, ICC_IGRPEN1);
104 static inline void gic_write_sgi1r(u64 val)
106 write_sysreg(val, ICC_SGI1R);
114 static inline void gic_write_sre(u32 val)
116 write_sysreg(val, ICC_SRE);
120 static inline void gic_write_bpr1(u32 val)
122 write_sysreg(val, ICC_BPR1);
130 static inline void gic_write_pmr(u32 val)
132 write_sysreg(val, ICC_PMR);
149 static inline void __gic_writeq_nonatomic(u64 val, volatile void __iomem *addr)
151 writel_relaxed((u32)val, addr);
152 writel_relaxed((u32)(val >> 32), addr + 4);
157 u64 val;
159 val = readl_relaxed(addr);
160 val |= (u64)readl_relaxed(addr + 4) << 32;
161 return val;
224 static inline void gicr_write_vpendbaser(u64 val, void __iomem *addr)
238 __gic_writeq_nonatomic(val, addr);