Symbol: parse_underscore_Pragma
usr/src/tools/smatch/src/parse.c
2073
return parse_underscore_Pragma(token);
usr/src/tools/smatch/src/parse.c
2973
return parse_underscore_Pragma(token);