Function miri::shims::unix::sync::rwlock_get_id

source · 
fn rwlock_get_id<'mir, 'tcx: 'mir>(
    ecx: &mut MiriInterpCx<'mir, 'tcx>,
    rwlock_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, RwLockId>