diff --git a/src/common/wadres.h b/src/common/wadres.h
index f478fd10d62e07991293c49e5bcf66ac6111648a..49f0f9dcbb469b09d1fb11e7f1dd51cec18e369d 100644 (file)
--- a/src/common/wadres.h
+++ b/src/common/wadres.h
void WADRES_getname (int id, char *name);
void WADRES_getdata (int id, void *data);
+void *WADRES_lock (int id);
+void WADRES_unlock (void *data);
+int WADRES_locked (int id);
+int WADRES_was_locked (int id);
+
#endif /* COMMON_WADRES_H_INCLUDED */
\ No newline at end of file