Searched refs:r4030_write_reg32 (Results 1 – 2 of 2) sorted by relevance
147 r4030_write_reg32(JAZZ_TIMER_INTERVAL, 9); in plat_time_init()
296 static inline void r4030_write_reg32(unsigned long addr, unsigned val) in r4030_write_reg32() function