pd_entry_t
typedef u_int64_t pd_entry_t;
typedef uint64_t pd_entry_t; /* page directory entry */
typedef uint32_t pd_entry_t;
typedef uint64_t pd_entry_t;
typedef uint64_t pd_entry_t; /* page directory entry */