Constant windows_sys::Wdk::System::SystemServices::PTE_TOP

pub const PTE_TOP: u32 = 3225419775u32;