Subject: Re: [GIT PULL -tip] fix 33 make headers_check warnings

From: "H. Peter Anvin" <[email-masked]>
Date: Sat, 17 Jan 2009 14:26:38 -0800

Sam Ravnborg wrote:
>>>  
>> That patch looks wrong, and unnecessary. It was fine before.
> Nope - include/linux/dvb/audio.h failed to include linux/types.h
> despite the fact that is uses __u32 etc.
> 
> But why the _kernel_ should include a userspace header is
> much more questionable.
> 

<stdint.h> is one of a handful of headers provided by gcc itself.

	-hpa