tree 71a8adb615da8b4fe64645429d4ea87a523f3315
parent 89816bc020b91cb6dd5c6df192ea16ebd8975903
author Gilles Peskine <Gilles.Peskine@arm.com> 1612892642 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1614019241 +0100

Document mutex invariant for CTR_DRBG

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