X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=include%2Flinux%2Ftypes.h;h=d8b993b2442967565e6787d028512a6cf886ea0e;hb=HEAD;hp=13112e8f55bba715cace58a0ebda5ba4aada28d8;hpb=4ca66bfaeb49e6fe85ccd8d8f4f11dbb96213636;p=sliver-openvswitch.git

diff --git a/include/linux/types.h b/include/linux/types.h
index 13112e8f5..d8b993b24 100644
--- a/include/linux/types.h
+++ b/include/linux/types.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2011 Nicira Networks.
+ * Copyright (c) 2011 Nicira, Inc.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -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> */
@@ -50,4 +55,8 @@ typedef uint32_t __bitwise__ __be32;
 typedef uint64_t __bitwise__ __be64;
 #endif	/* no <linux/types.h> */
 
+#ifndef _WIN32
+typedef __u32 HANDLE;
+#endif
+
 #endif /* <linux/types.h> */