Function _kadd_mask64

pub fn _kadd_mask64(a: __mmask64, b: __mmask64) -> __mmask64

Available on (x86 or x86-64) and target feature avx512bw and x86 only.

Add 64-bit masks in a and b, and store the result in k.

Intel’s documentation