Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / kernel / common / 6c37f0e64173571914a443f74d36e5a22dabfc05 / tools / memory-model / linux-kernel.def
  1. a5220e7 tools/memory-model: Add support for synchronize_srcu_expedited() by Paul E. McKenney · 6 years ago
  2. 9393998 tools/memory-model: Dynamically check SRCU lock-to-unlock matching by Luc Maranget · 6 years ago
  3. a3f600d tools/memory-model: Add SRCU support by Alan Stern · 6 years ago
  4. 5b735eb tools/memory-model: Model smp_mb__after_unlock_lock() by Andrea Parri · 6 years ago
  5. 1a00b455 tools/memory-model: Update ASPLOS information by Andrea Parri · 7 years ago
  6. 15553dc tools/memory-model: Add model support for spin_is_locked() by Luc Maranget · 7 years ago
  7. d17013e tools/memory-model: Fix coding style in 'linux-kernel.def' by Andrea Parri · 7 years ago
  8. bf8c6d9 tools/memory-model: Model 'smp_store_mb()' by Andrea Parri · 7 years ago
  9. bd5c0ba tools/memory-model: Finish the removal of rb-dep, smp_read_barrier_depends(), and lockless_dereference() by Alan Stern · 7 years ago
  10. bf28ae5 tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference by Alan Stern · 7 years ago
  11. cac79a3 tools/memory-model: Convert underscores to hyphens by Paul E. McKenney · 7 years ago
  12. 1c27b64 Automate memory-barriers.txt; provide Linux-kernel memory model by Paul E. McKenney · 7 years ago