X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=libatomic.h;h=f24b5fbff35a10a3dcc2c88beca108ecb9093e75;hb=f48c73aeda479368d4bfaf96fe9fe07f3d3d8bdb;hp=684b213d11fc2dc3d6dc9ce307855445f4939c04;hpb=668f99281619b3014f41edfbb91b111056e10c48;p=model-checker.git

diff --git a/libatomic.h b/libatomic.h
index 684b213..f24b5fb 100644
--- a/libatomic.h
+++ b/libatomic.h
@@ -1,3 +1,7 @@
+/** @file libatomic.h
+ *  @brief Basic atomic operations to be exposed to user program.
+ */
+
 #ifndef __LIBATOMIC_H__
 #define __LIBATOMIC_H__
 
@@ -24,6 +28,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