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

On 05/31/2011 11:18 PM, Linus Walleij wrote:

Does it work to register the clocksource with say a core_initcall()
and avoid the header altogether?

I wanted the init to be called from the struct sys_timer init call. 
Mainly because it is really early and it seems to be what others do but 
if we now want to move things out of the platform code it might make 
sense to remove that dependency.
I'll experiment with it during the day and see how it goes.