windows::Wdk::System::SystemServices

Constant PTE_TOP

pub const PTE_TOP: u32 = 3225419775u32;