libgcc/gstdint.h

   1 /* This header is only for use of libdecnumber built as part of
   2    libgcc.  The targets supported for decimal floating point have
   3    <stdint.h>; libdecnumber uses GCC_HEADER_STDINT only for the sake
   4    of the host.  */
   5
   6 #include <stdint.h>