pub unsafe fn _kadd_mask64(a: __mmask64, b: __mmask64) -> __mmask64
stdsimd
avx512bw
Add 64-bit masks in a and b, and store the result in k.
Intel’s documentation