Symbol: empty_reg
usr/src/tools/smatch/src/example.c
1607
dst = empty_reg(state);
usr/src/tools/smatch/src/example.c
1616
dst = empty_reg(state);
usr/src/tools/smatch/src/example.c
497
reg = empty_reg(state);