int8_t            100 kern/include/types.h typedef __i8 int8_t;
int8_t             39 user/include/stdint.h typedef __i8 int8_t;