Symbol: DUMP_HEADER
usr.bin/ctfdump/ctfdump.c
334
if (flags & DUMP_HEADER) {
usr.bin/ctfdump/ctfdump.c
89
flags |= DUMP_HEADER;