X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=include%2Fopenvswitch%2Ftypes.h;h=fbd2997b32b0c1afc9f262cd841caf985eb38e4f;hb=36956a7d33c9ee204fcb184484a5aaacbd9ecef8;hp=2f670c0424c2f98d7ce3fb65c18449d9f8641e6e;hpb=fba473391b92b6f2ce33a0acd68920941cb47b03;p=openvswitch

diff --git a/include/openvswitch/types.h b/include/openvswitch/types.h
index 2f670c04..fbd2997b 100644
--- a/include/openvswitch/types.h
+++ b/include/openvswitch/types.h
@@ -21,8 +21,10 @@
 
 #ifdef __CHECKER__
 #define OVS_BITWISE __attribute__((bitwise))
+#define OVS_FORCE __attribute__((force))
 #else
 #define OVS_BITWISE
+#define OVS_FORCE
 #endif
 
 /* The ovs_be<N> types indicate that an object is in big-endian, not