Commit 9725dd55 authored by Akira Yokosawa's avatar Akira Yokosawa Committed by Paul E. McKenney
Browse files

tools/memory-model: Fix reference to litmus test in recipes.txt 



The name of litmus test doesn't match the one described below.
Fix the name of litmus test.

Acked-by: default avatarAndrea Parri <parri.andrea@gmail.com>
Acked-by: default avatarJoel Fernandes (Google) <joel@joelfernandes.org>
Signed-off-by: default avatarAkira Yokosawa <akiyks@gmail.com>
Signed-off-by: default avatarPaul E. McKenney <paulmck@kernel.org>
parent e30d0235

tools/memory-model/Documentation/recipes.txt

+1 −1
Original line number Diff line number Diff line
@@ -126,7 +126,7 @@ However, it is not necessarily the case that accesses ordered by 
locking will be seen as ordered by CPUs not holding that lock.

Consider this example:



	/* See Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus. */

	/* See Z6.0+pooncelock+pooncelock+pombonce.litmus. */

	void CPU0(void)

	{

		spin_lock(&mylock);

CRA Git | Maintained and supported by SUSTech CRA and CCSE