Symbol: DUMP_TO
usr/src/tools/smatch/src/sort.c
178
DUMP_TO(b2);
usr/src/tools/smatch/src/sort.c
214
DUMP_TO(b1);