Messages in this thread | | | Date | Sat, 17 Jan 2009 14:26:38 -0800 | From | "H. Peter Anvin" <> | Subject | Re: [GIT PULL -tip] fix 33 make headers_check warnings |
| |
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
| |