Symbol: dup_token
usr/src/tools/smatch/src/pre-process.c
618
token = dup_token(list, &list->pos);
usr/src/tools/smatch/src/pre-process.c
682
added = dup_token(t, base_pos);
usr/src/tools/smatch/src/pre-process.c
725
added = dup_token(body, base_pos);
usr/src/tools/smatch/src/pre-process.c
732
added = dup_token(body, base_pos);