/*
- * 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.
typedef uint64_t __bitwise__ __be64;
#endif /* no <linux/types.h> */
+#ifndef _WIN32
+typedef __u32 HANDLE;
+#endif
+
#endif /* <linux/types.h> */