X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=include%2Flinux%2Ftypes.h;h=fb0574410e32b932c7f8fe5d44f1bab524bf91eb;hb=634408e0c5e9d99b55c40ab4df608f822ef923a7;hp=13112e8f55bba715cace58a0ebda5ba4aada28d8;hpb=4ca66bfaeb49e6fe85ccd8d8f4f11dbb96213636;p=openvswitch

diff --git a/include/linux/types.h b/include/linux/types.h
index 13112e8f..fb057441 100644
--- a/include/linux/types.h
+++ b/include/linux/types.h
@@ -29,6 +29,11 @@
 /* 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> */