NKMEMPAGES_MIN     67 kern/kern_malloc.c #ifndef	NKMEMPAGES_MIN
NKMEMPAGES_MIN    474 kern/kern_malloc.c 		nkmempages_min = NKMEMPAGES_MIN;