On 2023-07-07 18:10:52 [+0200], Peter Zijlstra wrote:> > Henry reported that rt_mutex_adjust_prio_check() has an orderingI'm going to apply it to the RT tree so it does not get lost :)Sebastian