Hi, On Tue, Jun 17, 2014 at 03:41:19PM -0700, David Daney wrote: > There should be a separate variable to indicate if hot-plugging CPUs is > possible which would be used here instead. > > See my comments in patch 3/3 also. OK, thanks for comments. I will revisit this after the Finnish midsummer celebrations, i.e. it will take a couple of weeks. A. -- To unsubscribe from this list: send the line "unsubscribe linux-watchdog" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html