On Mon, 17 Dec 2012, Mike Galbraith wrote:

On Mon, 2012-12-17 at 16:35 +0100, Thomas Gleixner wrote: 

quoted

Bah. This reverse user/kernel priority nonsense really should go away!

Snort, I looked right at it too, looked perfectly fine :)

The real bad news is, that I talked to someone about that reverse prio
issue just a few hours before I committed that crime. Blergh!