On Fri, Dec 03, 2010 at 08:07:46PM +0000, Russell King - ARM Linux wrote: > This patch series incorporates patches from the previously posted > "Clean up SMP IPI support" series of 9 patches. Patch 5, and > 11 onwards are new. Sorry, patch 4 is the new one, not patch 5.