From mboxrd@z Thu Jan  1 00:00:00 1970
From: Christopher Li <sparse@chrisli.org>
Subject: Re: [PATCH v3] sparse: treat function pointers as pointers to const data
Date: Wed, 15 Oct 2014 09:34:45 +0800
Message-ID: <CANeU7Qm=AudXFYxNDyrachGRoAurKTzixQ5dcLdrJPcTr7GS+g@mail.gmail.com>
References: <1410157803-3658-1-git-send-email-ard.biesheuvel@linaro.org>
	<CAKv+Gu-jTrCnhuS0GEkifj1rA0gjh=cLLEXO9GLxNdw6ctn-Ug@mail.gmail.com>
	<CANeU7QmR-HCp5--PhihSfM1Aan8bNGsPLgtewVVptjbfEZCj6A@mail.gmail.com>
	<CAKv+Gu92fB1oHxn4jDCvNYZ4jhWpbtS-ANhX7LUx73w-+je-0Q@mail.gmail.com>
	<CAKv+Gu_7tgBVJ9uLRDazhMoj88xu5JS89VkW2UumFxKq65ze7g@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Return-path: <linux-sparse-owner@vger.kernel.org>
Received: from mail-qc0-f175.google.com ([209.85.216.175]:35115 "EHLO
	mail-qc0-f175.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
	with ESMTP id S1755808AbaJOBeq (ORCPT
	<rfc822;linux-sparse@vger.kernel.org>);
	Tue, 14 Oct 2014 21:34:46 -0400
Received: by mail-qc0-f175.google.com with SMTP id b13so251535qcw.34
        for <linux-sparse@vger.kernel.org>; Tue, 14 Oct 2014 18:34:45 -0700 (PDT)
In-Reply-To: <CAKv+Gu_7tgBVJ9uLRDazhMoj88xu5JS89VkW2UumFxKq65ze7g@mail.gmail.com>
Sender: linux-sparse-owner@vger.kernel.org
List-Id: linux-sparse@vger.kernel.org
To: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Cc: Linux-Sparse <linux-sparse@vger.kernel.org>, Will Deacon <will.deacon@arm.com>

On Tue, Oct 14, 2014 at 8:55 PM, Ard Biesheuvel
<ard.biesheuvel@linaro.org> wrote:
>
> Ping?

It is already applied and pushed as c1763a249aba0a40bd326c845c2a146132a02448

Chris