Symbol: get_random_u32
sys/compat/linuxkpi/common/include/linux/random.h
80
v = get_random_u32();
sys/compat/linuxkpi/common/include/linux/random.h
84
x = (uint64_t)t * get_random_u32();