1 //  Copyright (c) 2011-present, Facebook, Inc.  All rights reserved.
2 //  This source code is licensed under both the GPLv2 (found in the
3 //  COPYING file in the root directory) and Apache 2.0 License
4 //  (found in the LICENSE.Apache file in the root directory).
5 //
6 // Copyright (c) 2011 The LevelDB Authors. All rights reserved.
7 // Use of this source code is governed by a BSD-style license that can be
8 // found in the LICENSE file. See the AUTHORS file for names of contributors.
9 //
10 
11 #ifdef GFLAGS
12 #include "db_stress_tool/db_stress_shared_state.h"
13 
14 namespace ROCKSDB_NAMESPACE {
15 const uint32_t SharedState::UNKNOWN_SENTINEL = 0xfffffffe;
16 const uint32_t SharedState::DELETION_SENTINEL = 0xffffffff;
17 }  // namespace ROCKSDB_NAMESPACE
18 #endif  // GFLAGS
19