pub fn _cvtu32_mask32(a: u32) -> u32
Convert integer value a into an 32-bit mask, and store the result in k.
Intel’s Documentation