Symbol: copy_reg
usr/src/tools/smatch/src/example.c
1141
dst = copy_reg(state, src1, insn->target);
usr/src/tools/smatch/src/example.c
883
return copy_reg(state, src, target);