Re: [PATCH v4 07/17] clocksource: bcm2835: Switch to sched_clock_register()
On 07/18/2013 05:21 PM, Stephen Boyd wrote: > The 32 bit sched_clock interface now supports 64 bits. Upgrade to > the 64 bit function to allow us to remove the 32 bit registration > interface.