Constant bad64_sys::ENCODING_ENC_ADDS_32_ADDSUB_SHIFT[][src]

pub const ENCODING_ENC_ADDS_32_ADDSUB_SHIFT: ENCODING = 13;