Function _mm_mask_srl_epi32 

pub fn _mm_mask_srl_epi32(
    src: __m128i,
    k: __mmask8,
    a: __m128i,
    count: __m128i,
) -> __m128i

Available on x86-64 and target feature avx512f and target feature avx512vl only.

Shift packed 32-bit integers in a right by count while shifting in zeros, and store the results in dst using writemask k (elements are copied from src when the corresponding mask bit is not set).

Intel’s documentation