cmodelint.h

   1 #ifndef CMODELINT_H
   2 #define CMODELINT_H
   3 #include <inttypes.h>
   4
   5 #if __cplusplus
   6 using std::memory_order;
   7 extern "C" {
   8 #endif
   9
  10 uint64_t model_read_action(void * obj, memory_order ord);
  11 void model_write_action(void * obj, memory_order ord, uint64_t val);
  12 void model_rmw_action(void *obj, memory_order ord, uint64_t val);
  13 void model_init_action(void * obj, uint64_t val);
  14
  15 #if __cplusplus
  16 }
  17 #endif
  18
  19 #endif