Re: [Xen-devel] [PATCH v8 06/14] arch/x86: warn if to-be-removed mapping does not exist

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

On Sun, 2014-05-25 at 12:51 +0200, Arianna Avanzini wrote:
> Currently, when a memory mapping is removed with the memory_mapping
> DOMCTL, no check is performed on the existence of such a mapping.
> This commit adds such a consistency check to the code performing the
> unmap, emitting a warning message if the check fails.

This is only a warning on x86 but is a fatal error on ARM (from patch #2
of this series). Is this discrepancy deliberate?

I think the ARM behaviour is more correct but I appreciate that it might
be more difficult to switch x86 to that model right away, hence a
warning might consider be more appropriate (for now at least). Is that
the answer to my question?

Ian.


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