pd_entry_t
typedef u_int64_t pd_entry_t; /* PDE */
typedef uint32_t pd_entry_t; /* L1 table entry */
typedef u_int32_t pd_entry_t; /* PDE */
