Gitiles
Code Review Sign In
gerrit-public.fairphone.software / kernel / msm-4.19 / 9a789fcfe8605417f7a1a970355f5efa4fe88c64 / tools / memory-model / linux-kernel.def
  1. 1a00b455 tools/memory-model: Update ASPLOS information by Andrea Parri · 7 years ago
  2. 15553dc tools/memory-model: Add model support for spin_is_locked() by Luc Maranget · 7 years ago
  3. d17013e tools/memory-model: Fix coding style in 'linux-kernel.def' by Andrea Parri · 7 years ago
  4. bf8c6d9 tools/memory-model: Model 'smp_store_mb()' by Andrea Parri · 7 years ago
  5. bd5c0ba tools/memory-model: Finish the removal of rb-dep, smp_read_barrier_depends(), and lockless_dereference() by Alan Stern · 7 years ago
  6. bf28ae5 tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference by Alan Stern · 7 years ago
  7. cac79a3 tools/memory-model: Convert underscores to hyphens by Paul E. McKenney · 7 years ago
  8. 1c27b64 Automate memory-barriers.txt; provide Linux-kernel memory model by Paul E. McKenney · 7 years ago