Constant ERROR_PROCESSOR_STATE_PARAMETER_TLB_CHECK_SHIFT 

pub const ERROR_PROCESSOR_STATE_PARAMETER_TLB_CHECK_SHIFT: u32 = 60u32;