From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Date: Mon, 21 Jan 2013 12:40:31 +0000 (+0000)
Subject: xen/arm: flush dcache after memcpy'ing the kernel image
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~7390
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c60209d77e2c02de110ca0fdaa2582ef4e53d8fd;p=xen.git

xen/arm: flush dcache after memcpy'ing the kernel image

After memcpy'ing the kernel in guest memory we need to flush the dcache
to make sure that the data actually reaches the memory before we start
executing guest code with caches disabled.

copy_from_paddr is the function that does the copy, so add a
flush_xen_dcache_va_range there.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
---

diff --git a/xen/arch/arm/kernel.c b/xen/arch/arm/kernel.c
index c9265d7212..2f7a9ff2a5 100644
--- a/xen/arch/arm/kernel.c
+++ b/xen/arch/arm/kernel.c
@@ -54,6 +54,7 @@ void copy_from_paddr(void *dst, paddr_t paddr, unsigned long len, int attrindx)
 
         set_fixmap(FIXMAP_MISC, p, attrindx);
         memcpy(dst, src + s, l);
+        flush_xen_dcache_va_range(dst, l);
 
         paddr += l;
         dst += l;