From: Ben Pfaff <blp@nicira.com>
Date: Tue, 18 Oct 2011 16:46:57 +0000 (-0700)
Subject: types: Fix endianness check.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=39f7417d8220cd1b5187560598727d9e189dd589;p=openvswitch

types: Fix endianness check.

The Linux headers only check endianness if __CHECK_ENDIAN__ is declared.
We want that, so turn it on.
---

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> */