NKL4_MAX_ENTRIES
va = slotspace_rand(SLAREA_MAIN, NKL4_MAX_ENTRIES * NBPD_L4,
vm_max_kernel_address = va + NKL4_MAX_ENTRIES * NBPD_L4;
#define NKL3_MAX_ENTRIES (unsigned long)(NKL4_MAX_ENTRIES * 512)
NKL3_MAX_ENTRIES, NKL4_MAX_ENTRIES }