Function _kshiftri_mask32 

pub fn _kshiftri_mask32(a: __mmask32, const COUNT: u32) -> __mmask32

Available on x86-64 and target feature avx512bw only.

Shift the bits of 32-bit mask a right by count while shifting in zeros, and store the least significant 32 bits of the result in k.

Intel’s Documentation