[PATCH 0/2] SRCU changes for the Linux Kernel Memory Model

[Alan Stern]

Paul et al.:

Here are the promised patches for the LKMM.

	1/2: tools/memory-model: Update some warning labels
	2/2: tools/memory-model: Provide exact SRCU semantics

Alan