Constant WHEA_ERROR_RECORD_FLAGS_RECOVERED 

pub const WHEA_ERROR_RECORD_FLAGS_RECOVERED: u32 = 1u32;