Symbol: replace_with_string
usr/src/tools/smatch/src/pre-process.c
183
replace_with_string(token, stream_name(token->pos.stream));
usr/src/tools/smatch/src/pre-process.c
188
replace_with_string(token, base_filename);
usr/src/tools/smatch/src/pre-process.c
199
replace_with_string(token, buffer);
usr/src/tools/smatch/src/pre-process.c
209
replace_with_string(token, buffer);