set_tsprocs
return (set_tsprocs(idtype, idargc, &argv[optind], cflags,
static int set_tsprocs(idtype_t, int, char **, uint_t, pri_t, pri_t);