Re: [PATCH] usb: musb: cppi: add missing include to fix compilation

[Reinhard Tartler]

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@xxxxxxxxx>
>> ---
>>  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.

Attachment: cppi_dma.c.config0.expanded
Description: Binary data

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