X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcompiler.h;h=0d7ee9f6f27c597479f1db3d4ae5371598d1fbc0;hb=12d685891c72d6009f0303edb94b3b6fabcd6228;hp=9e9eb82783e3fc94c419b1e15975742709c27dd9;hpb=2932bd0512422ca9540a9a99c57c3a7f60d22df0;p=openvswitch

diff --git a/lib/compiler.h b/lib/compiler.h
index 9e9eb827..0d7ee9f6 100644
--- a/lib/compiler.h
+++ b/lib/compiler.h
@@ -25,6 +25,7 @@
 #define MALLOC_LIKE __attribute__((__malloc__))
 #define ALWAYS_INLINE __attribute__((always_inline))
 #define WARN_UNUSED_RESULT __attribute__((__warn_unused_result__))
+#define SENTINEL(N) __attribute__((sentinel(N)))
 #else
 #define NO_RETURN
 #define OVS_UNUSED
@@ -33,6 +34,7 @@
 #define MALLOC_LIKE
 #define ALWAYS_INLINE
 #define WARN_UNUSED_RESULT
+#define SENTINEL(N)
 #endif
 
 #endif /* compiler.h */