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