>>> On 07.07.17 at 08:48, <chao....@intel.com> 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....@intel.com>
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@lists.xen.org https://lists.xen.org/xen-devel