Symbol: random_uint32
tests/kernel/t_lockf.c
87
fl.l_start = random_uint32() % filesize;
tests/kernel/t_lockf.c
88
fl.l_len = random_uint32() % filesize;
tests/kernel/t_lockf.c
89
switch (random_uint32() % 3) {