Re: [Xen-devel] [PATCH v4 1/4] VT-d PI: track the vcpu number on pi blocking list

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 07.07.17 at 08:48, <chao.gao@xxxxxxxxx> wrote:
> This patch adds a field, counter, in struct vmx_pi_blocking_vcpu to track
> how many entries are on the pi blocking list.
> 
> Signed-off-by: Chao Gao <chao.gao@xxxxxxxxx>

Looks okay now, but didn't you have ASSERT()s in place earlier
on checking the counter isn't zero before decrements or after
increments?

Jan


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