On Mon, Sep 07, 2015 at 03:13:50PM +0100, Stefano Stabellini wrote:
> Objects loaded by FileHandle->Read need to be flushed to 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>
> CC: ian.campb...@citrix.com
> CC: jbeul...@suse.com
> CC: wei.l...@citrix.com

I'm expecting a v2 with minor adjustments.

In any case this is a valid and straightforward bug fix:

  Release-acked-by: Wei Liu <wei.l...@citrix.com>

I will wait for v2 and keep an eye on our testing progress. This will
probably go in after RC3 (i.e. after branching) unless OSSTest is wedged
again and we somehow need to retest staging.

Wei.

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

Reply via email to