[PATCHv5 11/16] arm64: arm_generic: prevent reading stale time

[Catalin Marinas]

On Thu, Jan 31, 2013 at 12:15:34PM +0000, Mark Rutland wrote:
> Currently arch_counter_get_cnt{p,v}ct can be speculated, allowing for
> stale time values to be read. This could be problematic for the delay
> loop and other sensitive functions, as the time delta could jump around
> unexpectedly.
> 
> This patch adds isbs to arch_counter_get_cnt{p,v}ct, preventing this
> possibility.
> 
> Signed-off-by: Mark Rutland <mark.rutland at arm.com>

Acked-by: Catalin Marinas <catalin.marinas at arm.com>