On 29/01/2020 09:27, v...@amazon.com wrote:
Hey Julien,
Hi,
On 12/18/19 2:57 PM, Julien Grall wrote:
Hi Varad,
Please send new version of a patch in a new thread rather than
in-reply to the first version.
On 18/12/2019 10:53, Varad Gautam wrote:
XEN_DOMCTL_destroydomain creates a
Hey Jan,
On 12/18/19 2:42 PM, Jan Beulich wrote:
On 18.12.2019 11:53, Varad Gautam wrote:
XEN_DOMCTL_destroydomain creates a continuation if domain_kill -ERESTARTS.
In that scenario, it is possible to receive multiple _pirq_guest_unbind
calls for the same pirq from domain_kill, if the pirq has
Hey Julien,
On 12/18/19 2:57 PM, Julien Grall wrote:
Hi Varad,
Please send new version of a patch in a new thread rather than
in-reply to the first version.
On 18/12/2019 10:53, Varad Gautam wrote:
XEN_DOMCTL_destroydomain creates a continuation if domain_kill
-ERESTARTS.
In that
Hi Varad,
Please send new version of a patch in a new thread rather than in-reply
to the first version.
On 18/12/2019 10:53, Varad Gautam wrote:
XEN_DOMCTL_destroydomain creates a continuation if domain_kill -ERESTARTS.
In that scenario, it is possible to receive multiple _pirq_guest_unbind
On 18.12.2019 11:53, Varad Gautam wrote:
> XEN_DOMCTL_destroydomain creates a continuation if domain_kill -ERESTARTS.
> In that scenario, it is possible to receive multiple _pirq_guest_unbind
> calls for the same pirq from domain_kill, if the pirq has not yet been
> removed from the domain's
> -Original Message-
> From: Xen-devel On Behalf Of
> Varad Gautam
> Sent: 18 December 2019 10:54
> To: xen-devel@lists.xenproject.org
> Cc: Andrew Cooper ; Gautam, Varad
> ; Jan Beulich ; Roger Pau Monné
>
> Subject: [Xen-devel] [PATCH v2] x86: irq: Do not BUG
XEN_DOMCTL_destroydomain creates a continuation if domain_kill -ERESTARTS.
In that scenario, it is possible to receive multiple _pirq_guest_unbind
calls for the same pirq from domain_kill, if the pirq has not yet been
removed from the domain's pirq_tree, as:
domain_kill()
->
