Symbol: write_header_info
sbin/savecore/savecore.c
1184
if (write_header_info(xostdout, &kdhl, savedirfd, infoname, device,
sbin/savecore/savecore.c
886
if (write_header_info(xostdout, &kdhl, savedirfd, infoname, device,