tree fc21da31b789d4428d097a635333f261f7afbd9e
parent 2d61aecee8f32259920cdf90a452fa26ffc64e9f
author Jon Hunter <jon-hunter@ti.com> 1359489325 -0600
committer Jon Hunter <jon-hunter@ti.com> 1364842094 -0500

ARM: OMAP2+: Display correct system timer name

Currently on boot, when displaying the name of the gptimer used for
clockevents and clocksource timers, the timer ID is shown. However,
when booting with device-tree, the timer ID is not used to select a
gptimer but a timer property. Hence, it is possible that the timer
selected when booting with device-tree does not match the ID shown.
Therefore, instead display the HWMOD name of the gptimer and use
the HWMOD name as the name of clockevent and clocksource timer (if a
gptimer is used).

Signed-off-by: Jon Hunter <jon-hunter@ti.com>
Acked-by: Santosh Shilimkar <santosh.shilimkar@ti.com>