On Tue, 2015-09-08 at 11:38 +0100, Stefano Stabellini wrote:
> Objects loaded by FileHandle->Read need to be flushed from dcache,
> otherwise copy_from_paddr will read stale data when copying the kernel,
> causing a failure to boot.
> 
> Introduce efi_arch_flush_dcache_area and call it from read_file.
> 
> This commit introduces no functional changes on x86.
> 
> Reported-by: Mark Rutland <mark.rutl...@arm.com>
> Signed-off-by: Stefano Stabellini <stefano.stabell...@eu.citrix.com>
> Release-acked-by: Wei Liu <wei.l...@citrix.com>
> CC: Mark Rutland <mark.rutl...@arm.com>
> CC: ian.campb...@citrix.com
> CC: jbeul...@suse.com
> 

Acked-by: Ian Campbell <ian.campb...@citrix.com>


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Reply via email to