tree 47e78398926ed60df2fa7f5aea5eacaa54f8f8a7
parent 448d1cc854237feca7412bae2e0c1c99de5b6999
author Jaeden Amero <jaeden.amero@arm.com> 1578574936 +0000
committer Jaeden Amero <jaeden.amero@arm.com> 1578577732 +0000

ctr_drbg: Clarify reseed_counter values before seeding

Before the initial seeding, reseed_counter used to always be 0. Now, the
value depends on whether or not the user has explicitly set the amount
of data to get from the nonce (via e.g.
mbedtls_ctr_drbg_set_nonce_len()). Add comments to clarify the possible
values reseed_counter can have before the initial seeding.