pub fn _cvtu64_mask64(a: u64) -> u64
Convert integer value a into an 64-bit mask, and store the result in k.
Intel’s Documentation