int32_t           102 kern/include/types.h typedef __i32 int32_t;
int32_t            41 user/include/stdint.h typedef __i32 int32_t;