Symbol: bpf_semi_rand_get