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

H. Peter Anvin
2009-01-17T22:26:38Z

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