[build] Enable building with the Intel C compiler (icc)
[gpxe.git] / src / libgcc / __udivdi3.c
1 /*
2  * arch/i386/libgcc/__divdi3.c
3  */
4
5 #include "libgcc.h"
6
7 __libgcc uint64_t __udivdi3(uint64_t num, uint64_t den)
8 {
9   return __udivmoddi4(num, den, NULL);
10 }