Constant XSTATE_AVX512_KMASK 

pub const XSTATE_AVX512_KMASK: u32 = 5u32;