[...]
https://lore.kernel.org/lkml/20230203201913.2555494-1-joel@xxxxxxxxxxxxxxxxx/
5d871b280e7f ("tools/memory-model: Add smp_mb__after_srcu_read_unlock()")
These need review and perhaps further adjustment.
So, am I missing any? Are there any that need to be redirected?