pub fn _ktestz_mask64_u8(a: u64, b: u64) -> u8
Compute the bitwise AND of 64-bit masks a and b, if the result is all zeros, store 1 in dst, otherwise store 0 in dst.
Intel’s Documentation