WRITE_REG
#define WRITE_REG(sc, x, v) \
#define WRITE_REG(rp, val) mips3_sd((register_t)(MIPS_PHYS_TO_KSEG1(rp)), (val))
#define WRITE_REG(rp, val) mips3_sd((register_t)(rp), (val))
#define WRITE_REG(sc, reg, val) \
#define WRITE_REG(rp, val) mips3_sd((register_t)(rp), (val))
#define WRITE_REG(rp, val) (mips3_sd((volatile uint64_t *)(rp), (val)))
#define WRITE_REG(rp, val) (mips3_sd((register_t)(rp), (val)))
#define WRITE_REG(rp, val) mips3_sd((register_t)(rp), (val))
#define WRITE_REG(rp, val) (mips3_sd((register_t)(rp), (val)))
#define WRITE_REG(rp, val) mips3_sd((register_t)(MIPS_PHYS_TO_KSEG1(rp)), (val))
#define WRITE_REG(rp, val) mips3_sd((register_t)(rp), (val))
#define WRITE_REG(sc,reg,val) \
#define WRITE_REG(sc,reg,val) \