ppc64: Don't set Kp bit on SLB
[openbios.git] / libgcc / __udivti3.c
blob6be015bb5f150886f090a81d57573b68082fe593
1 /*
2 * arch/i386/libgcc/__divdi3.c
3 */
5 #include "libgcc.h"
7 __uint128_t __udivti3(__uint128_t num, __uint128_t den)
9 return __udivmodti4(num, den, NULL);