windows::Wdk::System::SystemServices

Constant PTE_BASE

pub const PTE_BASE: u32 = 3221225472u32;