mov_r64_i64
u8 mov_r64_i64(u8 *buf, u8 reg, u32 lo, u32 hi);
*len = mov_r64_i64(buf, insn->dst_reg, insn->imm, (insn + 1)->imm);