__i64              76 kern/include/kern/types.h typedef __i64 __off_t;     /* Offset within file */
__i64              80 kern/include/kern/types.h typedef __i64 __time_t;    /* Time in seconds */
__i64             103 kern/include/types.h typedef __i64 int64_t;
__i64              42 user/include/stdint.h typedef __i64 int64_t;