[][src]Constant CCODE::XSTATE_AVX

pub const XSTATE_AVX: u32 = 2;