Function miri::shims::unix::sync::rwlock_id_offset

fn rwlock_id_offset<'tcx>(ecx: &MiriInterpCx<'tcx>) -> InterpResult<'tcx, u64>