X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Futil.h;h=a1f4bd740226fd899591003eb77afc27fe196200;hb=f606c7e99465477cf0533ecbc4795a0f8fe635e0;hp=a8d86657325287b6c64b033491f4e6a8d0f5197b;hpb=a656cb7736fd9f5926c2b1bdd6f50dafc3aa796a;p=openvswitch

diff --git a/lib/util.h b/lib/util.h
index a8d86657..a1f4bd74 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -242,9 +242,32 @@ char *xreadlink(const char *filename);
 char *follow_symlinks(const char *filename);
 
 void ignore(bool x OVS_UNUSED);
+
+/* Returns the number of trailing 0-bits in 'n'.  Undefined if 'n' == 0.
+ *
+ * This compiles to a single machine instruction ("bsf") with GCC on x86. */
+#if !defined(UINT_MAX) || !defined(UINT32_MAX)
+#error "Someone screwed up the #includes."
+#elif __GNUC__ >= 4 && UINT_MAX == UINT32_MAX
+static inline int
+raw_ctz(uint32_t n)
+{
+    return __builtin_ctz(n);
+}
+#else
+/* Defined in util.c. */
+int raw_ctz(uint32_t n);
+#endif
+
+/* Returns the number of trailing 0-bits in 'n', or 32 if 'n' is 0. */
+static inline int
+ctz(uint32_t n)
+{
+    return n ? raw_ctz(n) : 32;
+}
+
 int log_2_floor(uint32_t);
 int log_2_ceil(uint32_t);
-int ctz(uint32_t);
 int popcount(uint32_t);
 
 bool is_all_zeros(const uint8_t *, size_t);