NKMEMPAGES_MAX     72 kern/kern_malloc.c #ifndef NKMEMPAGES_MAX
NKMEMPAGES_MAX    476 kern/kern_malloc.c 		nkmempages_max = NKMEMPAGES_MAX;