alpha_pt_entry_t
l1pte_index(va) * sizeof(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;
typedef alpha_pt_entry_t pt_entry_t;