pt_entry_t
typedef u_int64_t pt_entry_t;
typedef uint64_t pt_entry_t; /* page table entry */
typedef uint32_t pt_entry_t;
typedef uint64_t pt_entry_t;
typedef uint64_t pt_entry_t;
typedef uint64_t pt_entry_t; /* page table entry */