int __bit_count_leading_zeros_long_long(unsigned long long x);
__bit_count_leading_zeros_long_long counts the number of leading binary zero bits in x.
__bit_count_leading_zeros_long_long is an intrinsic function and produces inline code.