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.Paolo