__mark_reg_known
__mark_reg_known(dst_reg, dst_reg->var_off.value);
__mark_reg_known(dst_reg, dst_reg->var_off.value);
__mark_reg_known(dst_reg, dst_reg->var_off.value);
__mark_reg_known(®s[insn->dst_reg], 0);
__mark_reg_known(dst_reg, -1ull);
__mark_reg_known(dst_reg, 0);
__mark_reg_known(&off_reg, insn->imm);
__mark_reg_known(regs + insn->dst_reg,
__mark_reg_known(regs + insn->dst_reg,
__mark_reg_known(&fake_reg, (s64)reg->off - (s64)known_reg->off);
__mark_reg_known(src_reg, insn->imm);
__mark_reg_known(®s[insn->dst_reg], imm);
__mark_reg_known(reg, 0);
__mark_reg_known(reg, 0);
__mark_reg_known(tmp_reg, insn->imm);
__mark_reg_known(®s[value_regno], val);