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