tree 7a0cba454e88e46d6b5fe866d1520f4363e8cf03
parent 7252ec394745361ea621a50c663229d25fd99a5c
author Gilles Peskine <Gilles.Peskine@arm.com> 1612881329 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1614019241 +0100

Explain the usage of is_valid in pthread mutexes

Document the usage inside the library, and relate it with how it's
additionally used in the test code.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>