Received: by 2002:a25:7ec1:0:0:0:0:0 with SMTP id z184csp1055984ybc;
        Tue, 19 Nov 2019 13:46:03 -0800 (PST)
X-Google-Smtp-Source: APXvYqwhhI67CNKtJhxBiKp1G/asVWvnB0blw17lYTlIVF6zs6Ap04m1/oHpnHUQgO134AbtYd0X
X-Received: by 2002:a17:906:a388:: with SMTP id k8mr36707835ejz.223.1574199962917;
        Tue, 19 Nov 2019 13:46:02 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; t=1574199962; cv=none;
        d=google.com; s=arc-20160816;
        b=BdJCG6xFwjEoauMbruQ7M8kFOAqBzKjp7FK0kbFltS9vu1zWcHC/EDgtQb0BnsYySM
         VAinYOPolrUwkEU/8LYq+pj1z2fOPTw/oIdgmtnOWAmklLA/j1GIF3raWVT3VunqhZhR
         D2WAo1KDdtyXrsy54zqJ1TSSsemHQpIqn2WokZueEwwODlxEQW4Op2hKyGFqMYr/I6He
         6ftbkUriHcPdz3VGuPEswEDp6/ajxvfdRyWIRuF0p4G/LAac4wopkxy4pXelaDrBFO4H
         4PWXeiuSUxtn1F4GjiaZl9hoN0SzmQoa/xJkO9hAT2YYrxB7e4RAmFcT+Pwb9YpnpUCT
         rCOw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=list-id:precedence:sender:message-id:date:subject:cc:to:from;
        bh=DvA6ekizJYpdE1clL5uvWV/7MNCDgsYmTLmmGMkULEM=;
        b=MhooV1MK8sTplWtACVHPqQoRN0LE7yvMOmmo6kAWlSMYoy5tmvzp5MzdeS09GVbgji
         562/cR7tpC6obL/U6uwI06AqyyhQCCw3vjCoeq4la9kZN/RlD5yb9lH/yZmCFc3VarUG
         GQPnxgVd/2464ac42LjWzB6ZQs98SuBG0vq9jSzOa9gViI+u6JyCt2rv3gSnwpw3APSO
         lz29/AZD++oN5++7qW46itbj2rQyqSWi/43o+pIufa1oaBpKHRUCR6RCIi3WGY/fuUIB
         TJjsB7CYye7TjJsza40WOe5uniHolYzom/BdRXBkneyPkF+/AyZOsvBAAV7ggmQ8cryn
         ibbw==
ARC-Authentication-Results: i=1; mx.google.com;
       spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67])
        by mx.google.com with ESMTP id p12si10116580ejz.131.2019.11.19.13.45.38;
        Tue, 19 Nov 2019 13:46:02 -0800 (PST)
Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
Authentication-Results: mx.google.com;
       spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S1727359AbfKSVoG (ORCPT <rfc822;parkch98@gmail.com> + 99 others);
        Tue, 19 Nov 2019 16:44:06 -0500
Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:37880 "EHLO
        mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK)
        by vger.kernel.org with ESMTP id S1726892AbfKSVoF (ORCPT
        <rfc822;linux-kernel@vger.kernel.org>);
        Tue, 19 Nov 2019 16:44:05 -0500
X-IronPort-AV: E=Sophos;i="5.69,219,1571695200"; 
   d="scan'208";a="412575410"
Received: from palace.lip6.fr ([132.227.105.202])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA256; 19 Nov 2019 22:44:04 +0100
From:   Julia Lawall <Julia.Lawall@lip6.fr>
To:     linux-kernel@vger.kernel.org,
        Masahiro Yamada <yamada.masahiro@socionext.com>
Cc:     kernel-janitors@vger.kernel.org, cocci@systeme.lip6.fr,
        Michal Marek <michal.lkml@markovi.net>,
        Nicolas Palix <nicolas.palix@imag.fr>,
        Gilles Muller <Gilles.Muller@inria.fr>
Subject: [PATCH 0/4 v2] improve platform_get_irq.cocci
Date:   Tue, 19 Nov 2019 22:08:21 +0100
Message-Id: <1574197705-31132-1-git-send-email-Julia.Lawall@lip6.fr>
X-Mailer: git-send-email 1.9.1
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

Various cleanups in platform_get_irq.cocci to give more useful
patches and to give a few more results.

v2: fix some interchanged From's and To's