const DTT_ENTRY_PFN_SHIFT: u64 = 12;