Constant vex_sys::VEX_S390X_MODEL_ZEC12[−][src]

pub const VEX_S390X_MODEL_ZEC12: u32 = 10;