threads_internal: add 'thread_switch_to_master()' internally
[model-checker.git] / libatomic.cc
1 #include "libatomic.h"
2 #include "threads_internal.h"
3
4 void atomic_store_explicit(struct atomic_object *obj, int value, memory_order order)
5 {
6         thread_switch_to_master();
7 }
8
9 int atomic_load_explicit(struct atomic_object *obj, memory_order order)
10 {
11         thread_switch_to_master();
12         return 0;
13 }