Symbol: infohdr
usr/src/tools/lintdump/lintdump.c
130
infohdr("LINTOBJ", "%s\n", lnname);
usr/src/tools/lintdump/lintdump.c
162
infohdr("LINTMOD", "%hu: %lu+%lu+%lu+%lu = %lu bytes\n", hp->mno,
usr/src/tools/lintdump/lintdump.c
167
infohdr("SECTION", "PASS%u: %lu bytes\n", pass,
usr/src/tools/lintdump/lintdump.c
204
infohdr("FILE", "%s\n", name);
usr/src/tools/lintdump/lintdump.c
57
static void infohdr(const char *, const char *, ...);