7 extern __libgcc uint64_t __udivmoddi4 ( uint64_t num, uint64_t den,
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 );
14 #endif /* _LIBGCC_H */