Symbol: mark_reg_dead
usr/src/tools/smatch/src/example.c
630
mark_reg_dead(state, pseudo, hardreg);
usr/src/tools/smatch/src/example.c
967
mark_reg_dead(state, pseudo, hardregs + i);