Re: [Xen-ia64-devel] [PATCH] Xen panics when domvti is destroyed

[Keir Fraser <Keir.Fraser@xxxxxxxxxxxx>]

On 11/10/06 08:34, "Xu, Anthony" <anthony.xu@xxxxxxxxx> wrote:

> Keir,
> 
> When free_vcpu_struct() is called, is it guaranteed that this vcpu is stopped
> completely?

Yes. domain_kill() calls domain_pause() which synchronously stops execution
of every VCPU. domain_kill() drops a 'master reference' on the domain, so
the destructors cannot run until domain_kill() has run.

 -- Keir



_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel