pub fn _mulx_u64(a: u64, b: u64, hi: &mut u64) -> u64
Unsigned multiply without affecting flags.
Unsigned multiplication of a with b returning a pair (lo, hi) with the low half and the high half of the result.
a
b
(lo, hi)
Intel’s documentation