X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=include%2Fopenvswitch%2Fdatapath-protocol.h;h=15c05e0d05b71a6d9ade01707b96a1e874af7c93;hb=61d8d58305e7f9866a6d6c95c3a031c1bdece588;hp=b0e9dfbb3cf44988291f96435a2251c6918f1714;hpb=27bcf966b4057623f7b4d856c0348a1e0eb452e0;p=openvswitch

diff --git a/include/openvswitch/datapath-protocol.h b/include/openvswitch/datapath-protocol.h
index b0e9dfbb..15c05e0d 100644
--- a/include/openvswitch/datapath-protocol.h
+++ b/include/openvswitch/datapath-protocol.h
@@ -56,10 +56,7 @@
 #define ovs_be32 __be32
 #define ovs_be64 __be64
 #else
-#include <stdint.h>
-#define ovs_be16 uint16_t
-#define ovs_be32 uint32_t
-#define ovs_be64 uint64_t
+#include "openvswitch/types.h"
 #endif
 
 #define ODP_MAX 256             /* Maximum number of datapaths. */