From: Julian Chesterfield <root@ubuntussh.(none)>
Date: Fri, 12 Dec 2014 17:44:43 +0000 (+0300)
Subject: Fix boot on Microzed due to missing tlb invalidation. Thanks to Luis Angel Garrido.
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=HEAD;p=people%2Fjulianchesterfield%2Fxen.git

Fix boot on Microzed due to missing tlb invalidation. Thanks to Luis Angel Garrido.
---

diff --git a/xen/arch/arm/xen/traps.c b/xen/arch/arm/xen/traps.c
index 9628b15..72a55b4 100644
--- a/xen/arch/arm/xen/traps.c
+++ b/xen/arch/arm/xen/traps.c
@@ -47,6 +47,7 @@
 #include <asm/uaccess.h>
 #include <asm/system.h>
 #include <asm/memory.h>
+#include <asm/mmu.h>
 
 asmlinkage void __div0(void)
 {
@@ -220,6 +221,8 @@ void trap_init(void)
 	exception_table_vector[idx] = MK_PTE(MEMMAP_HYPERVISOR_BASE, PTE_VECTOR_PAGE);
 	pte_sync(&exception_table_vector[idx]);
 
+	cpu_switch_ttb(get_ttbr(),1);
+
 	memcpy((void *)VECTORS_BASE, (void *)exception_vectors_table, sizeof(unsigned long) * 16);
 
 	cpu_flush_cache_range(VECTORS_BASE, VECTORS_BASE + PAGE_SIZE, 0);