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