Constant XSTATE_AVX 

pub const XSTATE_AVX: u32 = 2u32;