userconf_pnum      68 kern/subr_userconf.c void userconf_pnum(int);
userconf_pnum     303 kern/subr_userconf.c 		userconf_pnum(*l++);
userconf_pnum     425 kern/subr_userconf.c 		userconf_pnum(*val);