int32_t            25 arch/powerpc/boot/types.h typedef s32 int32_t;
int32_t           103 include/linux/types.h typedef s32			int32_t;
int32_t           115 include/uapi/linux/coda.h typedef int		     int32_t;
int32_t           126 tools/include/nolibc/nolibc.h typedef   signed int        int32_t;
int32_t            41 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h typedef		__s32		int32_t;