pdpt_entry_t
typedef uint32_t pdpt_entry_t; /* Only to keep struct pmap layout. */
typedef uint64_t pdpt_entry_t;