exec_fxcmd
exec_fxcmd(&argv[optind], cflags, fxuprilim, fxupri, tqntm,
static void exec_fxcmd(char **, uint_t, pri_t, pri_t, long, long);