pub fn _cvtu32_mask16(a: u32) -> u16
Convert 32-bit integer value a to an 16-bit mask and store the result in dst.
Intel’s Documentation