On 12/15/2013 03:40 PM, Nicholas Mc Guire wrote: > > Bad return value in _mutex_lock_check_stamp - this problem only would show > up with 3.12.1 rt4 applied but CONFIG_PREEMPT_RT_FULL not enabled > currently it would be returning what ever vprintk_emit ended up with > (atleast on x86), which probably is not the intended behavior. Added a > return 0; as in the case with CONFIG_PREEMPT_RT_FULL enabled. Interesting. How do you trigger this? This BUG()-only function should get completely removed by gcc because - ctx argument should be always NULL - BUG() has unreachable() so gcc knows it does not return. 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