[patch 04/16] arm: davinci: Use clocksource based sched_clock

[Thomas Gleixner]

An embedded and charset-unspecified text was scrubbed...
Name: arm-davinci-clksrc-sched-clk.patch
URL: <http://lists.infradead.org/pipermail/linux-arm-kernel/attachments/20110423/63760f9e/attachment.ksh>