From a1b02cbe5771a9e48928c13bb41cc1549af54ae0 Mon Sep 17 00:00:00 2001
From: Christoffer Dall <christoffer.dall@linaro.org>
Date: Sun, 2 Jun 2013 11:39:26 -0700
Subject: [PATCH] fixup! ARM: KVM: Allow host virt timer irq to be different
 from guest timer virt irq

---
 arch/arm/kvm/reset.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/arm/kvm/reset.c b/arch/arm/kvm/reset.c
index 0b49ad7684ec..b7840e7aa452 100644
--- a/arch/arm/kvm/reset.c
+++ b/arch/arm/kvm/reset.c
@@ -26,7 +26,8 @@
 #include <asm/cputype.h>
 #include <asm/kvm_arm.h>
 #include <asm/kvm_coproc.h>
-#include <asm/kvm_arch_timer.h>
+
+#include <kvm/arm_arch_timer.h>
 
 /******************************************************************************
  * Cortex-A15 Reset Values
-- 
2.39.5