Symbol: drop_token
usr/src/tools/smatch/src/tokenize.c
645
drop_token(stream);
usr/src/tools/smatch/src/tokenize.c
660
drop_token(stream);