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_rmw_action(void *obj, memory_order ord, uint64_t val);
13 void model_init_action(void * obj, uint64_t val);