Symbol: __uint64_t
sys/cpu/x86_64/include/stdint.h
58
typedef unsigned long __uint64_t;
sys/cpu/x86_64/include/stdint.h
63
typedef unsigned long long __uint64_t;