[PATCH 0/2] tools/memory-model: Model 'smp_store_mb()'

[Andrea Parri]

Hi,

This (tiny) series adds 'smp_store_mb()' to the model (patch 1/2), and
it fixes a stylistic discrepancy in 'linux-kernel.def (patch 2/2).

Cheers,
  Andrea

Andrea Parri (2):
  tools/memory-model: Model 'smp_store_mb()'
  tools/memory-model: Fix coding style in 'linux-kernel.def'

 tools/memory-model/linux-kernel.def | 29 +++++++++++++++--------------
 1 file changed, 15 insertions(+), 14 deletions(-)

-- 
2.7.4