On Thu, 2017-08-17 at 19:26 +0200, Mike Galbraith wrote: > On Thu, 2017-08-17 at 19:17 +0200, Sebastian Andrzej Siewior wrote: > > On 2017-08-17 18:50:42 [+0200], To Mike Galbraith wrote: > > > __remove_hrtimer() shouldn't be required because it has been done > > > already. It should be enough to just list_splice() one list to the > > > other and raise the softirq afterwards. > > > > Mike, can you check this please: > > Yeah, will do. BTW, with holes stopped up, 8 socket box took a hefty beating for 20 hours. It was actually 4.12, but it's the same code, just rolled forward. This is hotplug code is looking pretty darn durable. -Mike -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
