X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=cmodelint.cc;h=3dbb437b9914e42b0f045dda81b31af223aa2620;hp=348051a0f7f13fb736baf14f8a24c81bcfdbb4f9;hb=069d6ff621239c8d200a77c526b6755fefcfe1c8;hpb=a11fe305a03ad8eee80e476230b200cac11f59e3

diff --git a/cmodelint.cc b/cmodelint.cc
index 348051a0..3dbb437b 100644
--- a/cmodelint.cc
+++ b/cmodelint.cc
@@ -358,3 +358,13 @@ void cds_atomic_thread_fence(int atomic_index, const char * position) {
         __old__ = __old__;  Silence clang (-Wunused-value)                    \
          })
  */
+
+void cds_func_entry(const char * funcName) {
+        Thread * th = thread_current();
+        printf("thread %d Enter function %s\n", th->get_id(), funcName);
+}
+
+void cds_func_exit(const char * funcName) {
+        Thread * th = thread_current();
+        printf("thread %d Exit from function %s\n", th->get_id(), funcName);
+}