l3pte_index
l3pte_index(va) * sizeof(alpha_pt_entry_t);
idx = l3pte_index(va);
idx = l3pte_index(va);
idx = l3pte_index(va);
idx = l3pte_index(va);
idx3 = l3pte_index(va);
idx = l3pte_index(va);
return &lev3map[l3pte_index(v)];