projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
clockvector: fixup print message
[model-checker.git]
/
libatomic.h
diff --git
a/libatomic.h
b/libatomic.h
index 684b213d11fc2dc3d6dc9ce307855445f4939c04..1806f21968b75405c1675a9456b4e79afa6f421f 100644
(file)
--- a/
libatomic.h
+++ b/
libatomic.h
@@
-24,6
+24,8
@@
extern "C" {
int atomic_load_explicit(struct atomic_object *obj, memory_order order);
#define atomic_load(A) atomic_load_explicit((A), memory_order_seq_cst)
+ void atomic_init(struct atomic_object *obj, int value);
+
#ifdef __cplusplus
}
#endif