Constant windows::Wdk::System::SystemServices::PDE_TOP

pub const PDE_TOP: u32 = 3224375295u32;