SW_DRBG_SEED_REGS_NUM
i += SW_DRBG_SEED_SIZE / SW_DRBG_SEED_REGS_NUM) {
seed_reg = (i >> SW_DRBG_NUM_SHIFT) % SW_DRBG_SEED_REGS_NUM;