Constant HAL_MCA_RECORD 

pub const HAL_MCA_RECORD: MCA_EXCEPTION_TYPE;