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