int16_t           101 kern/include/types.h typedef __i16 int16_t;
int16_t            40 user/include/stdint.h typedef __i16 int16_t;