KERNEL_L2PT_VMDATA_NUM

493

kernel_size += PAGE_SIZE * KERNEL_L2PT_VMDATA_NUM;

521

KASSERT(KERNEL_L2PT_KERNEL_NUM + KERNEL_L2PT_VMDATA_NUM < __arraycount(bmi->bmi_l2pts));

590

for (size_t idx = 0; idx < KERNEL_L2PT_VMDATA_NUM; ++idx) {

731

kernel_vm_base, KERNEL_L2PT_VMDATA_NUM);

733

for (size_t idx = 0; idx < KERNEL_L2PT_VMDATA_NUM; idx++) {

770

kernel_vm_base + (KERNEL_L2PT_VMDATA_NUM * L2_S_SEGSIZE);