Function creusot_contracts::std::arch::x86_64::_bextr_u64

pub unsafe fn _bextr_u64(a: u64, start: u32, len: u32) -> u64

Available on x86-64 only.

Extracts bits in range [start, start + length) from a into the least significant bits of the result.

Intel’s documentation