Constant windows::Wdk::System::SystemServices::PDE_PER_PAGE

pub const PDE_PER_PAGE: u32 = 512u32;