Constant xed_sys::XED_EXTENSION_CET

pub const XED_EXTENSION_CET: xed_extension_enum_t = 13;