uint64_t is unsigned long int on 64-bit platforms, but __u64 is unsigned long long int. This means that the copy in the glibc headers is less compatible with the kernel version than we would like.
Patch posted: https://sourceware.org/ml/libc-alpha/2019-12/msg00631.html