Function kernel::externs::__udivdi3

pub extern fn __udivdi3(a: u64, b: u64) -> u64

64 bit division on 32 bit arch