Constant PTE_PER_PAGE 

pub const PTE_PER_PAGE: u32 = 512u32;