This driver is doing a division on a 64 bit valus which is identical to
"jiffies" and is asking for __udiv64.  Cast the 64-bit value back to long.