Constant bad64_sys::ENCODING_ENC_UNALLOCATED_17_BRANCH_REG[−][src]

pub const ENCODING_ENC_UNALLOCATED_17_BRANCH_REG: ENCODING = 2048;