#if (defined(__KERNEL__) && defined(HAVE_KERN__U64_LONG_LONG)) || \
(!defined(__KERNEL__) && defined(HAVE_USER__U64_LONG_LONG))
/* x86_64 defines __u64 as "long" in userspace, but "long long" in the kernel */
#if (defined(__KERNEL__) && defined(HAVE_KERN__U64_LONG_LONG)) || \
(!defined(__KERNEL__) && defined(HAVE_USER__U64_LONG_LONG))
/* x86_64 defines __u64 as "long" in userspace, but "long long" in the kernel */