Constant windows::Wdk::System::SystemServices::PTI_SHIFT

pub const PTI_SHIFT: u32 = 12u32;