From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1756353AbcCOQGB (ORCPT <rfc822;w@1wt.eu>);
	Tue, 15 Mar 2016 12:06:01 -0400
Received: from mail.skyhub.de ([78.46.96.112]:34274 "EHLO mail.skyhub.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1755157AbcCOQF7 (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Tue, 15 Mar 2016 12:05:59 -0400
Date: Tue, 15 Mar 2016 17:05:32 +0100
From: Borislav Petkov <bp@alien8.de>
To: Matt Fleming <matt@codeblueprint.co.uk>
Cc: Ingo Molnar <mingo@kernel.org>, Scott Ashcroft <scott.ashcroft@talk21.com>,
        "H . Peter Anvin" <hpa@zytor.com>,
        Thomas Gleixner <tglx@linutronix.de>,
        Ard Biesheuvel <ard.biesheuvel@linaro.org>,
        linux-kernel@vger.kernel.org, linux-efi@vger.kernel.org,
        Maarten Lankhorst <maarten.lankhorst@linux.intel.com>,
        Matthew Garrett <mjg59@srcf.ucam.org>,
        Ben Hutchings <ben@decadent.org.uk>,
        Raphael Hertzog <hertzog@debian.org>,
        Roger Shimizu <rogershimizu@gmail.com>,
        Alexis Murzeau <amurzeau@gmail.com>,
        Julia Lawall <julia.lawall@lip6.fr>,
        Linus Torvalds <torvalds@linux-foundation.org>,
        Andrew Morton <akpm@linux-foundation.org>,
        Peter Zijlstra <a.p.zijlstra@chello.nl>,
        Josh Poimboeuf <jpoimboe@redhat.com>,
        Fengguang Wu <fengguang.wu@intel.com>
Subject: Re: [PATCH] x86/efi: Always map boot service regions into new EFI
 page tables
Message-ID: <20160315160532.GG4559@pd.tnic>
References: <1457695163-29632-2-git-send-email-matt@codeblueprint.co.uk>
 <1457888975.3884.9.camel@talk21.com>
 <20160313215847.GA2619@codeblueprint.co.uk>
 <20160313230736.GB2619@codeblueprint.co.uk>
 <20160314103019.GA32573@gmail.com>
 <20160314113502.GC2619@codeblueprint.co.uk>
 <20160314120502.GA17388@gmail.com>
 <20160314142734.GE2619@codeblueprint.co.uk>
 <20160314164700.GA21726@gmail.com>
 <20160315155418.GH2619@codeblueprint.co.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To: <20160315155418.GH2619@codeblueprint.co.uk>
User-Agent: Mutt/1.5.24 (2015-08-30)
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Tue, Mar 15, 2016 at 03:54:18PM +0000, Matt Fleming wrote:
> Fengguang, do you run coccinelle scripts currently as part of the
> 0-day lkp build machinery?

Not only that - it generates patches too. For example:

https://lkml.kernel.org/r/20160303015519.GA43500@lkp-nex06

-- 
Regards/Gruss,
    Boris.

ECO tip #101: Trim your mails when you reply.