Re: [PATCH memory-model scripts 01/31] tools/memory-model: Document locking corner cases

[Andrea Parri]

> I was surprised by the need to change the "locations" clauses, but
> applied that change anyway.  Ah, I take it that klitmus prints that,
> but doesn't know how to print out a spinlock_t?

Yep, this aligns with my understanding.

  Andrea