Constant PTE_BASE 

pub const PTE_BASE: u32 = 3221225472u32;