Home | History | Annotate | Download | only in kern

Lines Matching defs:userconf_maxdev

45 static int userconf_maxdev = -1;		/* # of used device slots   */
91 	userconf_maxdev = i - 1;
207 	if (devno > userconf_maxdev) {
208 		printf("Unknown devno (max is %d)\n", userconf_maxdev);
390 	if (devno <=  userconf_maxdev) {
435 		printf("Unknown devno (max is %d)\n", userconf_maxdev);
444 	if (devno <= userconf_maxdev) {
473 		printf("Unknown devno (max is %d)\n", userconf_maxdev);
482 	if (devno <= userconf_maxdev) {
511 		printf("Unknown devno (max is %d)\n", userconf_maxdev);
667 				if (a > userconf_maxdev) {
669 					    userconf_maxdev);