On 09/20/2011 11:41 PM, Thomas Gleixner wrote:> I've already queued a similar fix in tip/irq/urgentIt is not in master branch of the tip tree.> Thanks,>> tglxSebastian