Searched refs:gic_write64 (Results 1 – 1 of 1) sorted by relevance
68 static inline void gic_write64(unsigned int reg, u64 val) in gic_write64() function78 return gic_write64(reg, (u64)val); in gic_write()