add definition of race detector annotations

common/h/race-detector-annotations.h

@@ -0,0 +1,25 @@
+#ifndef __race_detector_annotations_h__
+#define __race_detector_annotations_h__
+
+#include "util.h"
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+#ifdef ENABLE_RACE_DETECTION
+  COMMON_EXPORT void race_detector_fake_lock_acquire(void);
+  COMMON_EXPORT void race_detector_fake_lock_release(void);
+  COMMON_EXPORT void race_detector_forget_access_history(void *loc, unsigned int nbytes);
+
+#else
+#define race_detector_fake_lock_acquire()
+#define race_detector_fake_lock_release()
+#define race_detector_forget_access_history(loc, nbytes) 
+#endif
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif