From 299964319c90ffce8c643c5a0c70d663def6c5c8 Mon Sep 17 00:00:00 2001
From: Julian Chesterfield <root@ubuntussh.(none)>
Date: Fri, 12 Dec 2014 20:44:43 +0300
Subject: [PATCH] Fix boot on Microzed due to missing tlb invalidation. Thanks
 to Luis Angel Garrido.

---
 xen/arch/arm/xen/traps.c | 3 +++
 1 file changed, 3 insertions(+)

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);
-- 
2.39.5