Searched refs:restart_pool (Results 1 – 1 of 1) sorted by relevance
395 static TEE_Result restart_pool(void *pool_ctx, uint8_t pool_digest[KEY_SIZE]) in restart_pool() function452 res = restart_pool(state.pool_ctx[n], pool_digest); in maybe_reseed()
Completed in 2 milliseconds