source: bootcd/isolinux/syslinux-6.03/gpxe/src/libgcc/libgcc.h

Last change on this file was e16e8f2, checked in by Edwin Eefting <edwin@datux.nl>, 3 years ago

bootstuff

  • Property mode set to 100644
File size: 452 bytes
Line 
1#ifndef _LIBGCC_H
2#define _LIBGCC_H
3
4#include <stdint.h>
5#include <stddef.h>
6
7extern __libgcc uint64_t __udivmoddi4 ( uint64_t num, uint64_t den,
8                                        uint64_t *rem );
9extern __libgcc uint64_t __udivdi3  (uint64_t num, uint64_t den );
10extern __libgcc uint64_t __umoddi3 ( uint64_t num, uint64_t den );
11extern __libgcc int64_t __divdi3 ( int64_t num, int64_t den );
12extern __libgcc int64_t __moddi3 ( int64_t num, int64_t den );
13
14#endif /* _LIBGCC_H */
Note: See TracBrowser for help on using the repository browser.