int64_t           103 kern/include/types.h typedef __i64 int64_t;
int64_t            42 user/include/stdint.h typedef __i64 int64_t;