add run time library for function entries and exits
[c11tester.git] / include / cmodelint.h
index 8530827cfe39b5cf673efa3e047a8f987f7642a1..9e82c030900c4ab2e89a8a8c4b2575e908d03ce1 100644 (file)
@@ -98,6 +98,9 @@ bool cds_atomic_compare_exchange64_v2(void* addr, uint64_t* expected, uint64_t d
 // cds atomic thread fence
 void cds_atomic_thread_fence(int atomic_index, const char * position);
 
+void cds_func_entry(const char * funcName);
+void cds_func_exit(const char * funcName);
+
 #if __cplusplus
 }
 #endif