Constant windows::Wdk::System::SystemServices::ERROR_PROCESSOR_STATE_PARAMETER_TLB_CHECK_SHIFT

pub const ERROR_PROCESSOR_STATE_PARAMETER_TLB_CHECK_SHIFT: u32 = 60u32;