Lines Matching refs:val
82 static inline void gic_write_ctlr(u32 val)
84 write_sysreg_s(val, SYS_ICC_CTLR_EL1);
93 static inline void gic_write_grpen1(u32 val)
95 write_sysreg_s(val, SYS_ICC_IGRPEN1_EL1);
99 static inline void gic_write_sgi1r(u64 val)
101 write_sysreg_s(val, SYS_ICC_SGI1R_EL1);
109 static inline void gic_write_sre(u32 val)
111 write_sysreg_s(val, SYS_ICC_SRE_EL1);
115 static inline void gic_write_bpr1(u32 val)
117 write_sysreg_s(val, SYS_ICC_BPR1_EL1);
125 static __always_inline void gic_write_pmr(u32 val)
127 write_sysreg_s(val, SYS_ICC_PMR_EL1);