On 18/01/2016 at 21:24:28 +0100, Sebastian Andrzej Siewior wrote : > > > > My understanding is that clockevents_exchange_device() changes the state > > from detached to shutdown and so at that point the IRQ has never been > > requested. > > I see. So we get shutdown called twice while set_periodic was only > called once. In that case I would suggest to have internal bookkeeping > instead of relying on current core's behavior when it is time free the > irq. > Ok, I can do that. What should I base my patch on? -- Alexandre Belloni, Free Electrons Embedded Linux, Kernel and Android engineering http://free-electrons.com -- 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