[PATCH 33/38] crypto: drbg - Simplify "uninstantiate" logic

From: Eric Biggers

Date: Mon Apr 20 2026 - 02:48:55 EST


drbg_kcapi_seed() calls drbg_uninstantiate() only to free drbg->jent and
set drbg->instantiated = false. However, the latter is necessary only
because drbg_kcapi_seed() sets drbg->instantiated = true too early. Fix
that, then just inline the freeing of drbg->jent.

Then, simplify the actual "uninstantiate" in drbg_kcapi_exit(). Just
free drbg->jent (note that this is a no-op on error and null pointers),
then memzero_explicit() the entire drbg_state.

Note that in reality the memzero_explicit() is redundant, since the
crypto_rng API zeroizes the memory anyway. But the way SP800-90A is
worded, it's easy to imagine that someone assessing conformance with it
would be looking for code in drbg.c that says it does an "Uninstantiate"
and does the zeroization. So it's probably worth keeping it somewhat
explicit, even though that means double zeroization in practice.

Signed-off-by: Eric Biggers <ebiggers@xxxxxxxxxx>
---
crypto/drbg.c | 57 ++++++++++++---------------------------------------
1 file changed, 13 insertions(+), 44 deletions(-)

diff --git a/crypto/drbg.c b/crypto/drbg.c
index 45d97f3ba4ef..b2af481aef01 100644
--- a/crypto/drbg.c
+++ b/crypto/drbg.c
@@ -150,12 +150,10 @@ struct drbg_state {
enum drbg_prefixes {
DRBG_PREFIX0 = 0x00,
DRBG_PREFIX1,
};

-static int drbg_uninstantiate(struct drbg_state *drbg);
-
/******************************************************************
* HMAC DRBG functions
******************************************************************/

/* update function of HMAC DRBG as defined in 10.1.2.2 */
@@ -388,21 +386,10 @@ static int drbg_seed(struct drbg_state *drbg, const u8 *pers, size_t pers_len,
memzero_explicit(entropy_buf, sizeof(entropy_buf));

return ret;
}

-/* Free all substructures in a DRBG state without the DRBG state structure */
-static inline void drbg_dealloc_state(struct drbg_state *drbg)
-{
- if (!drbg)
- return;
- memzero_explicit(&drbg->key, sizeof(drbg->key));
- memzero_explicit(drbg->V, sizeof(drbg->V));
- drbg->reseed_ctr = 0;
- drbg->instantiated = false;
-}
-
/*
* DRBG generate function as required by SP800-90A - this function
* generates random numbers
*
* @drbg DRBG state handle
@@ -504,30 +491,10 @@ static int drbg_generate(struct drbg_state *drbg,
len = 0;
err:
return len;
}

-/*
- * DRBG uninstantiate function as required by SP800-90A - this function
- * frees all buffers and the DRBG handle
- *
- * @drbg DRBG state handle
- *
- * return
- * 0 on success
- */
-static int drbg_uninstantiate(struct drbg_state *drbg)
-{
- if (!IS_ERR_OR_NULL(drbg->jent))
- crypto_free_rng(drbg->jent);
- drbg->jent = NULL;
-
- drbg_dealloc_state(drbg);
- /* no scrubbing of test_data -- this shall survive an uninstantiate */
- return 0;
-}
-
/***************************************************************
* Kernel crypto API interface to DRBG
***************************************************************/

static int drbg_kcapi_init(struct crypto_tfm *tfm)
@@ -573,11 +540,10 @@ static int drbg_kcapi_seed(struct crypto_rng *tfm,
* all DRBG types support prediction resistance
*/

/* 9.1 step 4 is implicit in DRBG_SEC_STRENGTH */

- drbg->instantiated = true;
drbg->pr = pr;
drbg->seeded = DRBG_SEED_STATE_UNSEEDED;
drbg->last_seed_time = 0;
drbg->reseed_threshold = DRBG_MAX_REQUESTS;
memset(drbg->V, 1, DRBG_STATE_LEN);
@@ -588,24 +554,23 @@ static int drbg_kcapi_seed(struct crypto_rng *tfm,
drbg->jent = crypto_alloc_rng("jitterentropy_rng", 0, 0);
if (IS_ERR(drbg->jent)) {
ret = PTR_ERR(drbg->jent);
drbg->jent = NULL;
if (fips_enabled)
- goto free_everything;
+ return ret;
pr_info("DRBG: Continuing without Jitter RNG\n");
}
}

ret = drbg_seed(drbg, pers, pers_len, /* reseed= */ false);
- if (ret)
- goto free_everything;
-
- return ret;
-
-free_everything:
- drbg_uninstantiate(drbg);
- return ret;
+ if (ret) {
+ crypto_free_rng(drbg->jent);
+ drbg->jent = NULL;
+ return ret;
+ }
+ drbg->instantiated = true;
+ return 0;
}

static int drbg_kcapi_seed_pr(struct crypto_rng *tfm,
const u8 *seed, unsigned int slen)
{
@@ -649,13 +614,17 @@ static int drbg_kcapi_generate(struct crypto_rng *tfm,
dlen -= n;
} while (dlen);
return 0;
}

+/* Uninstantiate the DRBG. */
static void drbg_kcapi_exit(struct crypto_tfm *tfm)
{
- drbg_uninstantiate(crypto_tfm_ctx(tfm));
+ struct drbg_state *drbg = crypto_tfm_ctx(tfm);
+
+ crypto_free_rng(drbg->jent);
+ memzero_explicit(drbg, sizeof(*drbg));
}

/*
* Tests as defined in 11.3.2 in addition to the cipher tests: testing
* of the error handling.
--
2.53.0