Set MTU in userspace rather than kernel.

[openvswitch] / lib / unaligned.h

diff --git a/lib/unaligned.h b/lib/unaligned.h
index a44ee8be80e12935fd8aef34bc82ccd4d91d5fd8..f1aab23adc814b8ac3dd7b29955228548e394405 100644 (file)
--- 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 */