tools/memory-model: Add types to litmus tests

[linux-2.6-microblaze.git] / tools / memory-model / litmus-tests / MP+polockonce+poacquiresilsil.litmus

diff --git a/tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus b/tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus
index abf81e7..867c75d 100644 (file)
--- a/tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus
+++ b/tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus
@@ -11,6 +11,8 @@ C MP+polockonce+poacquiresilsil
  *)
 
 {
+       spinlock_t lo;
+       int x;
 }
 
 P0(spinlock_t *lo, int *x)