[Xen-changelog] [xen-unstable] xen/arm: flush the entire dest_va 2MB mapping

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
# Date 1359031669 0
# Node ID 27facb2c4c29c42bbbb5fcf56bd892ffb5bcb793
# Parent  cc4c1e0ecbaf02887efb5a35ccbd6e377938cb28
xen/arm: flush the entire dest_va 2MB mapping

At the beginning of setup_pagetables we modify a 2MB mapping but we only
flush the first 4KB of it.

Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
Committed-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
---


diff -r cc4c1e0ecbaf -r 27facb2c4c29 xen/arch/arm/mm.c
--- a/xen/arch/arm/mm.c Thu Jan 24 12:47:49 2013 +0000
+++ b/xen/arch/arm/mm.c Thu Jan 24 12:47:49 2013 +0000
@@ -246,7 +246,7 @@ void __init setup_pagetables(unsigned lo
     dest_va = BOOT_MISC_VIRT_START;
     pte = mfn_to_xen_entry(xen_paddr >> PAGE_SHIFT);
     write_pte(xen_second + second_table_offset(dest_va), pte);
-    flush_xen_data_tlb_range_va(dest_va, PAGE_SIZE);
+    flush_xen_data_tlb_range_va(dest_va, SECOND_SIZE);
 
     /* Calculate virt-to-phys offset for the new location */
     phys_offset = xen_paddr - (unsigned long) _start;

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog