Function core_arch::x86::_mulx_u32

pub unsafe fn _mulx_u32(a: u32, b: u32, hi: &mut u32) -> u32

This is supported on x86 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