Constant HAL_MCE_RECORD 

pub const HAL_MCE_RECORD: MCA_EXCEPTION_TYPE;