pub fn _kandn_mask32(a: u32, b: u32) -> u32
Compute the bitwise NOT of 32-bit masks a and then AND with b, and store the result in k.
Intel’s documentation