Constant windows::Wdk::System::SystemServices::PTE_BASE

pub const PTE_BASE: u32 = 3221225472u32;