6 using std::memory_order;
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);