X86_REG_R12
emit_ldx_index(pprog, size, dst_reg, src_reg, X86_REG_R12, off);
emit_ldsx_index(prog, size, dst_reg, src_reg, X86_REG_R12, off);
emit_stx_index(pprog, size, dst_reg, src_reg, X86_REG_R12, off);
emit_st_index(pprog, size, dst_reg, X86_REG_R12, off, imm);
emit_mov_imm64(&prog, X86_REG_R12,
[X86_REG_R12] = 4, /* R12 callee saved */
BIT(X86_REG_R12) |
src_reg, X86_REG_R12, insn->off);
dst_reg, src_reg, X86_REG_R12,