tree f09fb29d8c2e6f71e752b81a7b56ab84db169199
parent f96d3d8b204a8fc407534a52a1fe4f3dcf7b3161
author Gilles Peskine <Gilles.Peskine@arm.com> 1612881329 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1614018243 +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>