[PATCH 2/3] clocksource: add DB8500 PRCMU Timer support

[Russell King - ARM Linux]

On Tue, May 31, 2011 at 11:18:25PM +0200, Linus Walleij wrote:
> Keeping it under include/linux is probably wise since we want drivers
> OUT of the ARM tree, but I don't know if there is much consensus on that?

Header files private to a driver should be alongside the driver.  Look
at drivers/net or drivers/scsi for plenty of examples.

Just because its a header file does not mean it must be in some directory
with 'include' in its path.  The only reason to put it in include/linux
is if it contains stuff which needs to be shared outside of the driver
(eg, with arches).