mips_emul_sdc1
void mips_emul_sdc1(uint32_t, struct trapframe *, uint32_t);
mips_emul_sdc1(inst, tf, cause);