On Wed, 2017-10-04 at 09:15:04 UTC, =?utf-8?q?C=C3=A9dric_Le_Goater?= wrote: > When resetting an IPI, hw_ipi should also be set to zero. > > Signed-off-by: Cédric Le Goater <clg at kaod.org> Series applied to powerpc fixes, thanks. https://git.kernel.org/powerpc/c/74f1282114acc7d67e25745efe200f cheers