RANDOM_KTHREAD_HZ
SBT_1S/RANDOM_KTHREAD_HZ, 0, C_PREL(1));
npools = howmany(p_random_alg_context->ra_poolcount, RANDOM_KTHREAD_HZ);