Thomas and Sebastian,
These three patches fixes the boot problem that Carsten was having
with 3.10-rt and RCU_NOCB_ALL
Steven Rostedt (3):
rcu/swait: Fix RCU conversion of wake_up_all() to swait_wake()
swait: Add memory barrier before checking list empty
swait: Add smp_mb() after setting h->list
----
kernel/rcutree_plugin.h | 2 +-
kernel/wait-simple.c | 4 ++++
2 files changed, 5 insertions(+), 1 deletion(-)
--
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
