Hi, In looking at prandom_u32() users, I noticed that BPF uses its own state variable with bpf_user_rnd_u32(). It appears that this state is never reseeded like regular prandom_u32(). (See __prandom_timer().) Is this intentional, or should reseeding be happening?
-Kees -- Kees Cook
