/* kern_malloc.c */ /* * kmeminit_nkmempages: calculate the size of kmem_arena. */