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 */ 15