Symbol: eftwrite
usr/src/cmd/fm/eversholt/common/eftwrite.h
38
void eftwrite(const char *fname);
usr/src/cmd/fm/eversholt/esc/common/escmain.c
218
eftwrite(outfile);