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