FXENT_RESEED_INTVL_MAX
if (reseed_intvl_sec < FXENT_RESEED_INTVL_MAX) {
if (next_ival > FXENT_RESEED_INTVL_MAX)
next_ival = FXENT_RESEED_INTVL_MAX;