https://doc.rust-lang.org/core/arch/x86/fn._load_mask32.html
_load_mask32 in core::arch::x86 - Rust
Load 32-bit mask from memory into k.
loadcorearchrust
https://doc.rust-lang.org/beta/core/arch/x86/fn._ktestz_mask32_u8.html
_ktestz_mask32_u8 in core::arch::x86 - Rust
Compute the bitwise AND of 32-bit masks a and b, if the result is all zeros, store 1 in dst, otherwise store 0 in dst.
corearchrust