RANDOM_FORTUNA_NPOOLS
unsigned int size_efi = RANDOM_FORTUNA_DEFPOOLSIZE * RANDOM_FORTUNA_NPOOLS;
unsigned int size = RANDOM_FORTUNA_DEFPOOLSIZE * RANDOM_FORTUNA_NPOOLS;
} fs_pool[RANDOM_FORTUNA_NPOOLS];
.ra_poolcount = RANDOM_FORTUNA_NPOOLS,
for (i = 0; i < RANDOM_FORTUNA_NPOOLS; i++) {
pl = event->he_destination % RANDOM_FORTUNA_NPOOLS;
uint32_t s[RANDOM_FORTUNA_NPOOLS*RANDOM_KEYSIZE_WORDS];
for (i = 0; i < RANDOM_FORTUNA_NPOOLS; i++) {