Subject: [PATCH v4 19/32] arm64: KVM: Plug the arch timer

From: [email-masked] (Catalin Marinas)
Date: Tue, 21 May 2013 16:27:06 +0100

On Tue, May 14, 2013 at 03:13:47PM +0100, Marc Zyngier wrote:
> Add support for the in-kernel timer emulation.
> 
> Reviewed-by: Christopher Covington <[email-masked]>
> Signed-off-by: Marc Zyngier <[email-masked]>

I think same comment as one of the previous patches, you could get rid
of some ISBs if you get an ERET anyway. Otherwise:

Reviewed-by: Catalin Marinas <[email-masked]>