See also http://permalink.gmane.org/gmane.linux.rt.user/12681 by Juerg Haefliger (rtmutex.c:997 is the BUG_ON line in 3.14.25-rt22). Same problem, more details, better explanation and a way to reproduce. We'll try to reproduce this using his method. -- 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
