On Mon, 04 Nov 2019, Sebastian Andrzej Siewior wrote:
That means you might not have RCU-boost enabled.
Alas, that was it. I was going to send you a patch that enabled the option when PREEMPT_RT_FULL, but then realized I was using a busted config file. It specifically didn't have CONFIG_RCU_BOOST enabled. Thanks for having a look!