[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <87ipfyemb8.fsf@faui43f.informatik.uni-erlangen.de>
Date: Mon, 14 May 2012 18:53:31 +0200
From: Reinhard Tartler <Reinhard.Tartler@...ormatik.uni-erlangen.de>
To: Greg KH <gregkh@...uxfoundation.org>
Cc: Reinhard Tartler <tartler@...fau.de>, Felipe Balbi <balbi@...com>,
linux-usb@...r.kernel.org, linux-kernel@...r.kernel.org,
vamos-dev@...ts.cs.fau.de
Subject: Re: [PATCH] usb: musb: cppi: add missing include to fix compilation
On Mo, Mai 14, 2012 at 18:31:54 (CEST), Greg KH wrote:
> On Mon, May 14, 2012 at 06:05:20PM +0200, Reinhard Tartler wrote:
>> This fixes compilation as module.
>>
>> Signed-off-by: Reinhard Tartler <tartler@...fau.de>
>> ---
>> drivers/usb/musb/cppi_dma.c | 1 +
>> 1 file changed, 1 insertion(+)
>>
>> This patch was found by tools developed in the VAMOS project:
>> http://www4.cs.fau.de/Research/VAMOS/
>
> Does that mean that no one actually can hit this in "real life"? Or is
> there a valid .config that this solves a problem for? If so, is it also
> needed for the 3.4/3.3-stable tree and older ones?
My tool has generated the attached configuration that exposes this
compilation failure. I have used kernel v3.2 with Ubuntu's arm
cross-compiler for the analysis and verification.
Download attachment "cppi_dma.c.config0.expanded" of type "application/octet-stream" (53985 bytes)
Cheers,
Reinhard
--
Reinhard Tartler Department of Computer Science IV
Martensstr 1, 91058 Erlangen Germany, University of Erlangen-Nuremberg
http://www4.informatik.uni-erlangen.de/~tartler
Powered by blists - more mailing lists