288,289c288,289
< * Returns 32 if the value is zero. Note that the GCC builtin is
< * undefined if the value is zero.
---
> * @param An input value
> * @return The number of trailing zeros or 32 if the value is zero.
293c293
< return value ? __builtin_ctz(value) : 32;
---
> return value ? __builtin_ctzl(value) : 32;