KPTE_DIR1_INDEX
leaf = dir1[KPTE_DIR1_INDEX(va)];
KPTE_DIR0_INDEX(va), KPTE_DIR1_INDEX(va), KPTE_PTE_INDEX(va), 0);
dir1[KPTE_DIR1_INDEX(kernel_vm_end)] = leaf;