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 <cov@xxxxxxxxxxxxxx> > Signed-off-by: Marc Zyngier <marc.zyngier@xxxxxxx> 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 <catalin.marinas@xxxxxxx> -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html