Constant bad64_sys::ENCODING_ENC_UNALLOCATED_80_BRANCH_REG[][src]

pub const ENCODING_ENC_UNALLOCATED_80_BRANCH_REG: ENCODING = 2593;