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