Searched refs:write_mem_os_reg (Results 1 – 2 of 2) sorted by relevance
77 write_mem_os_reg(31, glb_rst_st); in print_glb_reset_status()
572 static inline void write_mem_os_reg(uint32_t id, uint32_t val) in write_mem_os_reg() function