548     typedef unsigned long long uint64_t;  typedef
551     typedef unsigned __int64   uint64_t;  typedef
555     typedef uint64_t uintptr_t;
959   ecb_function_ ecb_const int ecb_ctz64 (uint64_t x);
961   ecb_ctz64 (uint64_t x)  in ecb_ctz64()
1005   ecb_function_ ecb_const int ecb_ld64 (uint64_t x);
1006   ecb_function_ ecb_const int ecb_ld64 (uint64_t x)  in ecb_ld64()
1024 ecb_function_ ecb_const ecb_bool ecb_is_pot64 (uint64_t x);
1025 ecb_function_ ecb_const ecb_bool ecb_is_pot64 (uint64_t x) { return !(x & (x - 1)); }  in ecb_is_pot64()
1059 ecb_function_ ecb_const int ecb_popcount64 (uint64_t x);
1061 ecb_popcount64 (uint64_t x)  in ecb_popcount64()
1072 ecb_inline ecb_const uint64_t ecb_rotl64 (uint64_t x, unsigned int count);
1073 ecb_inline ecb_const uint64_t ecb_rotr64 (uint64_t x, unsigned int count);
1081 ecb_inline ecb_const uint64_t ecb_rotl64 (uint64_t x, unsigned int count) { return (x >> (64 - coun…  in ecb_rotl64()
1082 ecb_inline ecb_const uint64_t ecb_rotr64 (uint64_t x, unsigned int count) { return (x << (64 - coun…  in ecb_rotr64()
1096   #define ecb_bswap64(x) ((uint64_t)_byteswap_uint64 ((uint64_t)(x)))
1112   ecb_function_ ecb_const uint64_t ecb_bswap64 (uint64_t x);
1113   ecb_function_ ecb_const uint64_t
1114   ecb_bswap64 (uint64_t x)  in ecb_bswap64()
1116     return (((uint64_t)ecb_bswap32 (x)) << 32) | ecb_bswap32 (x >> 32);  in ecb_bswap64()
1415   ecb_function_ ecb_const uint64_t ecb_double_to_binary64 (double x);
1416   ecb_function_ ecb_const uint64_t
1419     uint64_t r;  in ecb_double_to_binary64()
1425       uint64_t m;  in ecb_double_to_binary64()
1447       r |= ((uint64_t)(e + 1022)) << 52;  in ecb_double_to_binary64()
1455   ecb_function_ ecb_const double ecb_binary64_to_double (uint64_t x);
1457   ecb_binary64_to_double (uint64_t x)  in ecb_binary64_to_double()
2453           uint64_t counter = 1;  in evpipe_write()
2454           write (evpipe [1], &counter, sizeof (uint64_t));  in evpipe_write()
2486           uint64_t counter;  in pipecb()
2487           read (evpipe [1], &counter, sizeof (uint64_t));  in pipecb()