Searched refs:update_gic_base (Results 1 – 1 of 1) sorted by relevance
59 static inline void update_gic_base(MIPSGCRState *gcr, uint64_t val) in update_gic_base() function138 update_gic_base(gcr, data); in gcr_write()194 update_gic_base(s, 0); in mips_gcr_reset()