On 01/31/2014 06:07 PM, Steven Rostedt wrote: > The bug that I found is that if there *are* active timers, but they > have not expired yet. Why is this a problem? Because in that case we do Argh, right. But your patch looks also way better. After I made I was not too happy about that amount of ifdef and wanted to redo it later. What you just posted is a way better solution. Sebastian -- 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
