Function miri::shims::unix::sync::mutex_get_id

source ยท 
fn mutex_get_id<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    mutex_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, MutexId>