Constant XSTATE_AVX512_ZMM_H 

pub const XSTATE_AVX512_ZMM_H: u32 = 6u32;