Symbol: add_token
usr/src/tools/smatch/src/tokenize.c
571
add_token(stream);
usr/src/tools/smatch/src/tokenize.c
639
add_token(stream);
usr/src/tools/smatch/src/tokenize.c
787
add_token(stream);
usr/src/tools/smatch/src/tokenize.c
949
add_token(stream);