Lines Matching refs:val
69 static inline void gic_write_ctlr(u32 val)
71 write_sysreg_s(val, SYS_ICC_CTLR_EL1);
80 static inline void gic_write_grpen1(u32 val)
82 write_sysreg_s(val, SYS_ICC_IGRPEN1_EL1);
86 static inline void gic_write_sgi1r(u64 val)
88 write_sysreg_s(val, SYS_ICC_SGI1R_EL1);
96 static inline void gic_write_sre(u32 val)
98 write_sysreg_s(val, SYS_ICC_SRE_EL1);
102 static inline void gic_write_bpr1(u32 val)
104 write_sysreg_s(val, SYS_ICC_BPR1_EL1);
112 static __always_inline void gic_write_pmr(u32 val)
114 write_sysreg_s(val, SYS_ICC_PMR_EL1);