Function core::arch::x86_64::_mulx_u64

pub unsafe fn _mulx_u64(a: u64, b: u64, hi: &mut u64) -> u64

This is supported on x86-64 and target feature bmi2 only.

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.

Intel's documentation