77 static int sanitycheck(void *arg)  in sanitycheck()
181 static int find_seqno(void *arg)  in find_seqno()
259 static int find_signaled(void *arg)  in find_signaled()
297 static int find_out_of_order(void *arg)  in find_out_of_order()
341 static int find_gap(void *arg)  in find_gap()
394 static int __find_race(void *arg)  in __find_race()
442 static int find_race(void *arg)  in find_race()
496 static int signal_forward(void *arg)  in signal_forward()
528 static int signal_backward(void *arg)  in signal_backward()
561 static int __wait_fence_chains(void *arg)  in __wait_fence_chains()
571 static int wait_forward(void *arg)  in wait_forward()
600 static int wait_backward(void *arg)  in wait_backward()
645 static int wait_random(void *arg)  in wait_random()