Symbol: DEF_PRINTHEADER
usr/src/cmd/format/menu_defect.c
326
fmt_print(DEF_PRINTHEADER);
usr/src/cmd/format/menu_defect.c
399
fmt_print(DEF_PRINTHEADER);
usr/src/cmd/format/menu_defect.c
473
fmt_print(DEF_PRINTHEADER);