TRNG_MAX_BITS64
DECLARE_BITMAP(bits, TRNG_MAX_BITS64);
bitmap_clear(bits, num_bits, TRNG_MAX_BITS64 - num_bits);