Introduction - If you have any usage issues, please Google them yourself
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 (beware).