X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Funaligned.h;h=f1aab23adc814b8ac3dd7b29955228548e394405;hb=c0896bdd20b2b4ac7f1183835e2d8c99d6bb29fe;hp=a44ee8be80e12935fd8aef34bc82ccd4d91d5fd8;hpb=7bef2c918ac077da2156697ca821820e56561b9e;p=openvswitch

diff --git a/lib/unaligned.h b/lib/unaligned.h
index a44ee8be..f1aab23a 100644
--- a/lib/unaligned.h
+++ b/lib/unaligned.h
@@ -156,6 +156,7 @@ put_32aligned_u64(ovs_32aligned_u64 *x, uint64_t value)
 	x->lo = value;
 }
 
+#ifndef __CHECKER__
 /* Returns the value of 'x'. */
 static inline ovs_be64
 get_32aligned_be64(const ovs_32aligned_be64 *x)
@@ -179,5 +180,11 @@ put_32aligned_be64(ovs_32aligned_be64 *x, ovs_be64 value)
     x->lo = value >> 32;
 #endif
 }
+#else  /* __CHECKER__ */
+/* Making sparse happy with these functions also makes them unreadable, so
+ * don't bother to show it their implementations. */
+ovs_be64 get_32aligned_be64(const ovs_32aligned_be64 *);
+void put_32aligned_be64(ovs_32aligned_be64 *, ovs_be64);
+#endif
 
 #endif /* unaligned.h */