iPXE
libgcc.h
Go to the documentation of this file.
00001 #ifndef _LIBGCC_H
00002 #define _LIBGCC_H
00003 
00004 #include <stdint.h>
00005 #include <stddef.h>
00006 
00007 extern __libgcc uint64_t __udivmoddi4 ( uint64_t num, uint64_t den,
00008                                         uint64_t *rem );
00009 extern __libgcc uint64_t __udivdi3  (uint64_t num, uint64_t den );
00010 extern __libgcc uint64_t __umoddi3 ( uint64_t num, uint64_t den );
00011 extern __libgcc int64_t __divmoddi4 ( int64_t num, int64_t den, int64_t *rem );
00012 extern __libgcc int64_t __divdi3 ( int64_t num, int64_t den );
00013 extern __libgcc int64_t __moddi3 ( int64_t num, int64_t den );
00014 
00015 #endif /* _LIBGCC_H */