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