On Thu, 2 Aug 2018 at 21:04, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > > On 23/07/2018 08:39, Wanpeng Li wrote: > > +Returns 0 if successfully delivery the IPIs and 1 if discarded. > > I'm changing this to > > "Returns the number of CPUs to which the IPIs were delivered successfully" > > with an obvious change to x86.c. Thanks Paolo! Regards, Wanpeng Li