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 semanticsAlan