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