Re: [Xen-devel] [PATCH for 4.5] xen/arm: flush_tlb_domain: Disable IRQ when flushing TLB of another domain

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Fri, 2014-10-17 at 17:14 +0100, Julien Grall wrote:
> When Xen is flushing the TLB for another domain than current, it has to
> switch temporaly to the P2M of this domain. If the IRQs are enabled, it may
> be possible to receive an interrupt that require to use the P2M of the current
> domain, or even temporaly switch to another P2M.
> For the former case, the translation would be wrong. For the latter one,
> as the handler would restore the current P2M, Xen would flush the wrong domain
> TLB.
> 
> Thankfully we don't have such interrupt handler, but it may be necessary
> in the future to do that during when the user asks to dump domain stack via
> a keystroke.
> 
> Signed-off-by: Julien Grall <julien.grall@xxxxxxxxxx>

Acked + applied as a bug fix. I fixed the spelling of temporarily for
you as I went, and fixed up some grammar.

Ian.


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