__i32              45 kern/include/kern/time.h         __i32 tv_usec;          /* microseconds */
__i32              50 kern/include/kern/time.h         __i32 tv_nsec;          /* nanoseconds */
__i32              70 kern/include/kern/types.h typedef __i32 __gid_t;     /* Group ID */
__i32              77 kern/include/kern/types.h typedef __i32 __pid_t;     /* Process ID */
__i32              81 kern/include/kern/types.h typedef __i32 __uid_t;     /* User ID */
__i32             102 kern/include/types.h typedef __i32 int32_t;
__i32              41 user/include/stdint.h typedef __i32 int32_t;