1/* 2 * arch/i386/libgcc/__divdi3.c 3 */ 4 5#include <stdint.h> 6#include <stddef.h> 7 8extern uint64_t __udivmoddi4(uint64_t num, uint64_t den, uint64_t * rem); 9 10uint64_t __udivdi3(uint64_t num, uint64_t den) 11{ 12 return __udivmoddi4(num, den, NULL); 13} 14