Files
efinix-linux/tools/memory-model/litmus-tests/MP+polocks.litmus