Constant windows::Wdk::System::SystemServices::PAGE_SHIFT

pub const PAGE_SHIFT: i32 = 12i32;