Constant miri::shims::unix::sync::RWLOCK_ID_OFFSET

source · 
const RWLOCK_ID_OFFSET: u64 = 4;