Received: by 2002:a25:7ec1:0:0:0:0:0 with SMTP id z184csp840673ybc;
        Tue, 19 Nov 2019 10:06:49 -0800 (PST)
X-Google-Smtp-Source: APXvYqzXPGhTCs7XJsb/QtC6eOugoTWkm4+jJdRBd6v547EYlNWA2qiYyEcxiZR8P11BbPjZmXg+
X-Received: by 2002:a17:906:d143:: with SMTP id br3mr36505835ejb.215.1574186809362;
        Tue, 19 Nov 2019 10:06:49 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; t=1574186809; cv=none;
        d=google.com; s=arc-20160816;
        b=FZYYDSTMf8W/YiR3X0kNiB+SC+bIJJaFeJQOSJ0gq0dv2mhmreLP/lEFn6oXlTVicX
         dYzJ99z5GrKwAAYTIudb8lqeSR/H0ivFFecJuYOLymCrjTjRLsMM4mt1f5fEqvWQA6rb
         4PDrUYZF3GehidBzAVF+9/O+RvWZ1Bz1385/y/6qww7sPa2MqWMit9oK5omagpLN7c8F
         mLEDXVvgQbTn/3WhI7yoJ8ndHtkREPcR1tHeKnjeDeeufk3qsE97Cdcix1Xr/2x6K8+0
         aODdb5sc7C5eL68dWa8Ynh/odtqb6JA/O3JgahsvgGZQ7L8iDUO5BqWyM9jpWhxUeGlI
         857Q==
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=YCwqU1GyF3dVeCmiAxzVEUxdcIJr3mG08y7nwj6Yxmw=;
        b=LYlsBJzsaNoNxpIqmbTqNAO0tFGcmEjGKQz5EVtpnKLgIMqhcyDXl09b4WG+G1dnhG
         WsSCKUbFbE1RshzIvr7aYjjwa1IoXjK4FOx80h/4yAhdyRUs/DN1IIzXgtYMZzc4KUG5
         rtONs91rkqmsCM1wToJNWeemEUWF4t86d09sa5xCNgA5f00pxEiccX8p9HjG0YkR7jXg
         SarGcXHCeEPKH+Xnm3ovNI194NnCILD6xVMdpgIn7yePQGDIVsKaovznXwYv+rn3Utxj
         MvJRldVTQePVVcaeUKYlkqN20Qae9kCKCmPuhH/WLgCSz1+DQDhvLE/1eGjZ8k69cwnK
         4J7g==
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 f25si14416596eje.225.2019.11.19.10.06.23;
        Tue, 19 Nov 2019 10:06:49 -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 S1727072AbfKSSEE (ORCPT <rfc822;parkch98@gmail.com> + 99 others);
        Tue, 19 Nov 2019 13:04:04 -0500
Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:4355 "EHLO
        mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK)
        by vger.kernel.org with ESMTP id S1726510AbfKSSED (ORCPT
        <rfc822;linux-kernel@vger.kernel.org>);
        Tue, 19 Nov 2019 13:04:03 -0500
X-IronPort-AV: E=Sophos;i="5.69,218,1571695200"; 
   d="scan'208";a="412559093"
Received: from palace.lip6.fr ([132.227.105.202])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA256; 19 Nov 2019 19:04:02 +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] improve platform_get_irq.cocci
Date:   Tue, 19 Nov 2019 18:28:16 +0100
Message-Id: <1574184500-29870-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.