Constant PTE_TOP 

pub const PTE_TOP: u32 = 3225419775u32;