ppc64: Don't set Kp bit on SLB
[openbios/afaerber.git] / libgcc / __umoddi3.c
blob1c7b1cd72eeb8f68c78df6ffc9d4b11a4385afa4
1 /*
2 * arch/i386/libgcc/__umoddi3.c
3 */
5 #include "libgcc.h"
7 uint64_t __umoddi3(uint64_t num, uint64_t den)
9 uint64_t v;
11 (void) __udivmoddi4(num, den, &v);
12 return v;