Symbol: FWFLASH_PROG_NAME
usr/src/cmd/fwflash/common/fwflash.c
1078
(void) fprintf(stdout, gettext("\n%s: "), FWFLASH_PROG_NAME);
usr/src/cmd/fwflash/common/fwflash.c
1276
(void) fprintf(stderr, "%s: ", FWFLASH_PROG_NAME);