taglinefilesource code
random_pool226drivers/char/random.cstatic __u32 random_pool[POOLWORDS];
random_pool254drivers/char/random.crandom_state.pool = random_pool;