l1pte_index
l1pte_index(va) * sizeof(alpha_pt_entry_t);
l1idx = l1pte_index(va);
for (i = 0; i < l1pte_index(VM_MIN_KERNEL_ADDRESS); i++)
for (i = l1pte_index(VM_MIN_KERNEL_ADDRESS);
i <= l1pte_index(VM_MAX_KERNEL_ADDRESS); i++)
l1pt[l1pte_index(VPTBASE)] = pte;
kernel_lev1map[l1pte_index(VM_MIN_KERNEL_ADDRESS +
kernel_lev1map[l1pte_index(VPTBASE)] = pte;
(&(pmap)->pm_lev1map[l1pte_index((vaddr_t)(v))])