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