userconf_history   56 kern/subr_userconf.c char userconf_history[1024];
userconf_history   57 kern/subr_userconf.c int userconf_histsz = sizeof(userconf_history);
userconf_history  170 kern/subr_userconf.c 		userconf_history[userconf_histcur] = cmd;
userconf_history  181 kern/subr_userconf.c 		    &userconf_history[userconf_histcur],
userconf_history  191 kern/subr_userconf.c 		userconf_history[userconf_histcur] = '\n';