Re: [Xen-devel] [PATCH v11 01/14] arch/arm: add consistency check to REMOVE p2m changes

[Julien Grall <julien.grall@xxxxxxxxxx>]

Hi Arianna,

On 24/08/14 16:29, Arianna Avanzini wrote:
> Currently, the REMOVE case of the switch in apply_p2m_changes()
> does not perform any consistency check on the mapping to be removed.
> More in detail, the code does not check if the guest address to be
> unmapped is actually mapped to the machine address given as a
> parameter.
> This commit adds the above-described consistency check to the REMOVEHi
> path of apply_p2m_changes() and lets a warning be emitted when trying
> to remove a non-existent mapping. This is instrumental to one of the
> following commits, which implements the possibility to trigger the
> removal of p2m ranges via the memory_mapping DOMCTL for ARM.
>
> Signed-off-by: Arianna Avanzini <avanzini.arianna@xxxxxxxxx>
> Acked-by: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
> Cc: Dario Faggioli <dario.faggioli@xxxxxxxxxx>
> Cc: Paolo Valente <paolo.valente@xxxxxxxxxx>
Reviewed-by: Julien Grall <julien.grall@xxxxxxxxxx>

Regards,

--
Julien Grall

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