/* * Simple __udivdi3 function which doesn't use FPU. */#include<linux/types.h>externu64__xdiv64_32(u64n,u32d);externvoidpanic(constchar*fmt,...);u64__udivdi3(u64n,u64d){if(d&~0xffffffff)panic("Need true 64-bit/64-bit division");return__xdiv64_32(n,(u32)d);}