cprng_fast_schedule_reseed
cprng_fast_schedule_reseed(cprng);
static void cprng_fast_schedule_reseed(struct cprng_fast *);