gpxe/src/libgcc/libgcc.h

   1 #ifndef _LIBGCC_H
   2 #define _LIBGCC_H
   3
   4 #include <stdint.h>
   5 #include <stddef.h>
   6
   7 extern __libgcc uint64_t __udivmoddi4 ( uint64_t num, uint64_t den,
   8                                         uint64_t *rem );
   9 extern __libgcc uint64_t __udivdi3  (uint64_t num, uint64_t den );
  10 extern __libgcc uint64_t __umoddi3 ( uint64_t num, uint64_t den );
  11 extern __libgcc int64_t __divdi3 ( int64_t num, int64_t den );
  12 extern __libgcc int64_t __moddi3 ( int64_t num, int64_t den );
  13
  14 #endif /* _LIBGCC_H */