On Fri, 2009-01-23 at 21:29 +0530, Jaswinder Singh Rajput wrote: > On Wed, 2009-01-21 at 06:08 +0530, Jaswinder Singh Rajput wrote: > > On Sat, 2009-01-17 at 14:26 -0800, H. Peter Anvin wrote: > > > 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. > > > > > > > Should I reintroduce my patch to solve this warning of 'make headers_check': > > usr/include/linux/dvb/audio.h:133: found __[us]{8,16,32,64} type without > > #include <linux/types.h> > > > > diff --git a/include/linux/dvb/audio.h b/include/linux/dvb/audio.h > > index 89412e1..758a48c 100644 > > --- a/include/linux/dvb/audio.h > > +++ b/include/linux/dvb/audio.h > > @@ -24,9 +24,8 @@ > > #ifndef _DVBAUDIO_H_ > > #define _DVBAUDIO_H_ > > > > -#ifdef __KERNEL__ > > #include <linux/types.h> > > -#else > > +#ifndef __KERNEL__ > > #include <stdint.h> > > #endif > > > > It seems one have objection for this. So I will again insert this in my > new patchset. >
oops, s/seems one/seems no one ;-) -- JSR -- To unsubscribe from this list: send the line "unsubscribe linux-media" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html