+/*
+ * Invariants, assertions.
+ */
+
+/*
+ * XXX: do not enable this, until invariant checking code is made thread safe
+ * in the face of pdirops locking.
+ */
+#define OSD_INVARIANT_CHECKS (0)
+
+#if OSD_INVARIANT_CHECKS
+static inline int osd_invariant(const struct osd_object *obj)
+{
+ return
+ obj != NULL &&
+ ergo(obj->oo_inode != NULL,
+ obj->oo_inode->i_sb == osd_sb(osd_obj2dev(obj)) &&
+ atomic_read(&obj->oo_inode->i_count) > 0) &&
+ ergo(obj->oo_dir != NULL &&
+ obj->oo_dir->od_conationer.ic_object != NULL,
+ obj->oo_dir->od_conationer.ic_object == obj->oo_inode);
+}
+#else
+#define osd_invariant(obj) (1)
+#endif
+