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