Since the arch_timer is a system-wide block, other hardware in an SoC can make use of the counter values. Export a way to read the physical counter for use by other drivers. Change-Id: I0bcd95fa4cd7507c41ac608fc9740955d15d4b88 Signed-off-by: Jeff Ohlstein <johlstei@codeaurora.org>