userconf_cmds      95 kern/subr_userconf.c char *userconf_cmds[] = {
userconf_cmds     666 kern/subr_userconf.c 	while (*userconf_cmds[j] != '\0') {
userconf_cmds     667 kern/subr_userconf.c 		printf(userconf_cmds[j]);
userconf_cmds     668 kern/subr_userconf.c 		k = strlen(userconf_cmds[j]);
userconf_cmds     673 kern/subr_userconf.c 		switch (*userconf_cmds[j+1]) {
userconf_cmds    1175 kern/subr_userconf.c 	while (*userconf_cmds[j] != '\0') {
userconf_cmds    1176 kern/subr_userconf.c 		if (strlen(userconf_cmds[j]) == i) {
userconf_cmds    1177 kern/subr_userconf.c 			if (strncasecmp(v, userconf_cmds[j], i) == 0)
userconf_cmds    1190 kern/subr_userconf.c 		switch (*userconf_cmds[k+1]) {