userconf_change    75 kern/subr_userconf.c void userconf_change(int);
userconf_change   889 kern/subr_userconf.c 					userconf_change(i);
userconf_change   915 kern/subr_userconf.c 				userconf_change(userconf_totdev+1+i);
userconf_change  1223 kern/subr_userconf.c 				userconf_change(a);