types: Fix endianness check.
[openvswitch] / include / linux / types.h
index 13112e8f55bba715cace58a0ebda5ba4aada28d8..fb0574410e32b932c7f8fe5d44f1bab524bf91eb 100644 (file)
 /* With some combinations of kernel and userspace headers, including both
  * <sys/types.h> and <linux/types.h> only works if you do so in that order, so
  * force it.  */
+
+#ifdef __CHECKER__
+#define __CHECK_ENDIAN__
+#endif
+
 #include <sys/types.h>
 #include_next <linux/types.h>
 #else  /* no <linux/types.h> */