Symbol: get_one_number
usr/src/tools/smatch/src/tokenize.c
753
return get_one_number(c, next, stream);
usr/src/tools/smatch/src/tokenize.c
957
return get_one_number(c, nextchar(stream), stream);