Function creachadair_imath_sys::mp_int_div_pow2

pub unsafe extern "C" fn mp_int_div_pow2(
    a: mp_int,
    p2: mp_small,
    q: mp_int,
    r: mp_int
) -> mp_result

Sets q and r to the quotient and remainder of a / 2^p2. This is a special case for division by powers of two that is more efficient than using ordinary division. Note that mp_int_div() will automatically handle this case, this function is for cases where you have only the exponent.