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_init_action(void * obj, uint64_t val);
  13 uint64_t model_rmwr_action(void *obj, memory_order ord);
  14 void model_rmw_action(void *obj, memory_order ord, uint64_t val);
  15 void model_rmwc_action(void *obj, memory_order ord);
  16
  17
  18 #if __cplusplus
  19 }
  20 #endif
  21
  22 #endif