pub fn _kand_mask16(a: u16, b: u16) -> u16
Compute the bitwise AND of 16-bit masks a and b, and store the result in k.
Intel’s documentation