pub const WHEA_ERROR_RECORD_FLAGS_RECOVERED: u32 = 1u32;