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