UINT64_C           78 crypto/vmac.c  static const u64 p64   = UINT64_C(0xfffffffffffffeff);	/* 2^64 - 257 prime  */
UINT64_C           79 crypto/vmac.c  static const u64 m62   = UINT64_C(0x3fffffffffffffff);	/* 62-bit mask       */
UINT64_C           80 crypto/vmac.c  static const u64 m63   = UINT64_C(0x7fffffffffffffff);	/* 63-bit mask       */
UINT64_C           81 crypto/vmac.c  static const u64 m64   = UINT64_C(0xffffffffffffffff);	/* 64-bit mask       */
UINT64_C           82 crypto/vmac.c  static const u64 mpoly = UINT64_C(0x1fffffff1fffffff);	/* Poly key mask     */
UINT64_C           32 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/int_typedefs.h #define U64_C(x) UINT64_C(x)