tree 6ccb565f4966c6e864eb08c499f48f25e5167c1b
parent b791dc66cec538dd64cb6ec88e26814ecff18d45
author Gilles Peskine <Gilles.Peskine@arm.com> 1612892613 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1614018243 +0100

Document mutex invariant for HMAC_DRBG

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