On Tuesday 29 September 2009, David Miller wrote: > > > > These header files are indeed shared with the host implementation, > > as you've guessed. If it's not a big deal, we would like to keep > > the names the same, just for our own sanity's sake? > > No. This isn't your source tree, it's everyone's. So you should > adhere to basic naming conventions and coding standards of the > tree regardless of what you happen to use or need to use internally. Well, there is nothing wrong with making the identifiers the same everywhere, as long as they all follow the Linux coding style ;-). I heard that a number of cross-OS device drivers do that nowadays. Arnd <>< _______________________________________________ Virtualization mailing list Virtualization@xxxxxxxxxxxxxxxxxxxxxxxxxx https://lists.linux-foundation.org/mailman/listinfo/virtualization
