alpha_pt_entry_t
l2pte_index(va) * sizeof(alpha_pt_entry_t);
l3pte_index(va) * sizeof(alpha_pt_entry_t);
alpha_pt_entry_t pte;
l1pte_index(va) * sizeof(alpha_pt_entry_t);
typedef alpha_pt_entry_t pt_entry_t;