pt_entry_t
typedef alpha_pt_entry_t pt_entry_t;
typedef u_int64_t pt_entry_t; /* PTE */
typedef uint32_t pt_entry_t; /* L2 table entry */
typedef u_int32_t pt_entry_t;
typedef uint32_t pt_entry_t;
typedef u_int32_t pt_entry_t; /* PTE */
typedef u_int64_t pt_entry_t; /* PTE */
typedef uint32_t pt_entry_t;
typedef u_int64_t pt_entry_t;
typedef u_int32_t pt_entry_t;
typedef uint64_t pt_entry_t; /* page table entry */
typedef uint32_t pt_entry_t;