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 S1751894AbdKHJ6d (ORCPT <rfc822;w@1wt.eu>);
        Wed, 8 Nov 2017 04:58:33 -0500
Received: from Galois.linutronix.de ([146.0.238.70]:45991 "EHLO
        Galois.linutronix.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1751181AbdKHJ6c (ORCPT
        <rfc822;linux-kernel@vger.kernel.org>);
        Wed, 8 Nov 2017 04:58:32 -0500
Date: Wed, 8 Nov 2017 10:58:25 +0100 (CET)
From: Thomas Gleixner <tglx@linutronix.de>
To: Frederic Weisbecker <frederic@kernel.org>
cc: Ingo Molnar <mingo@kernel.org>, LKML <linux-kernel@vger.kernel.org>,
        Tejun Heo <tj@kernel.org>, Peter Zijlstra <peterz@infradead.org>,
        "David S . Miller" <davem@davemloft.net>,
        Lai Jiangshan <jiangshanlai@gmail.com>,
        "Paul E . McKenney" <paulmck@linux.vnet.ibm.com>
Subject: Re: [GIT PULL] lockdep: Add lightweight IRQs disabled/enabled check
 v2
In-Reply-To: <1509980490-4285-1-git-send-email-frederic@kernel.org>
Message-ID: <alpine.DEB.2.20.1711081058050.1937@nanos>
References: <1509980490-4285-1-git-send-email-frederic@kernel.org>
User-Agent: Alpine 2.20 (DEB 67 2015-01-07)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Mon, 6 Nov 2017, Frederic Weisbecker wrote:

> Ingo,
> 
> Please pull the lockdep/irq-v2 branch that can be found at:
> 
> git://git.kernel.org/pub/scm/linux/kernel/git/frederic/linux-dynticks.git
> 	lockdep/irq-v2

Acked-by: Thomas Gleixner <tglx@linutronix.de>