uint64_t          107 kern/include/types.h typedef __u64 uint64_t;
uint64_t           46 user/include/stdint.h typedef __u64 uint64_t;