On Thursday 05 July 2007, Al Viro wrote: > Frankly, I would rather add a new primitive (__qualifier__) mirroring the > __attribute__, but acting like real qualifiers do. And switched the > noderef et.al. to it. The only real alternative is to have __attribute__ > behaviour dependent on its guts and that's not feasible - remember that > there can be more than one attribute in the list insider the damn thing. > Besides, it's bloody disgusting. > > And yes, I realize that it's an incompatible change, i.e. not a step > to be taken lightly. Better ways out of that mess are more than > welcome; I don't see any ;-/ Uli Weigand has put some work into making the 'Multiple Address Spaces' feature of Embedded C work with gcc. We need that in order to address the process address space from a program running on an SPU on Cell, but it should syntactically be the same thing we need for __user, __iomem, etc. I.e., iit follows the same rules as 'const' and 'volatile' qualifiers. AFAIK, the infrastructure for this is supposed to go into gcc-4.3, but has not been posted publically yet. If you add something like this to sparse, it would be good to keep it compatible with the new gcc extension, so that gcc can do the right thing at some point in the future for the kernel. Uli, can you point us to any public code or specfication about the multiple address spaces feature? Arnd <>< - To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
