On Tuesday 29 September 2009, David Miller wrote:

quoted

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 <><