284a285,295
> /**
> * Count trailing zeros in a 32-bit value.
> *
> * Returns 32 if the value is zero. Note that the GCC builtin is
> * undefined if the value is zero.
> */
> inline int ctz32(uint32_t value)
> {
> return value ? __builtin_ctz(value) : 32;
> }
>
> /**
> * Count trailing zeros in a 32-bit value.
> *
> * Returns 32 if the value is zero. Note that the GCC builtin is
> * undefined if the value is zero.
> */
> inline int ctz32(uint32_t value)
> {
> return value ? __builtin_ctz(value) : 32;
> }
>