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
