In other words, a 64-bit dividend with a 32-bit divisor producing a 64-bit result and a 32-bit remainder. To accomplish this optimally we call a special __do_div64 helper with completely non standard calling convention for arguments and results (bewa