The Linux headers only check endianness if __CHECK_ENDIAN__ is declared. We want that, so turn it on. --- include/linux/types.h | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/include/linux/types.h b/include/linux/types.h index 13112e8..fb05744 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> */ -- 1.7.4.4 _______________________________________________ dev mailing list [email protected] http://openvswitch.org/mailman/listinfo/dev
