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