Searched refs:gic_write_sgi1r (Results 1 – 3 of 3) sorted by relevance
96 static inline void gic_write_sgi1r(u64 val) in gic_write_sgi1r() function
227 static inline void gic_write_sgi1r(u64 val) in gic_write_sgi1r() function
738 gic_write_sgi1r(val); in gic_send_sgi()
