1669 	unsigned int mod_rand;  in thread_mtx_work()  local
1697 		mod_rand = rand % 2;  in thread_mtx_work()
1700 		switch (mod_rand) {  in thread_mtx_work()
1709 			panic("rand()mod4 returned %u (random %u)", mod_rand, rand);  in thread_mtx_work()
1740 		mod_rand = rand % 2;  in thread_mtx_work()
1741 		switch (mod_rand) {  in thread_mtx_work()
1751 			panic("rand()mod4 returned %u (random %u)", mod_rand, rand);  in thread_mtx_work()
1770 	unsigned int mod_rand;  in thread_rw_work()  local
1807 		mod_rand = rand % 4;  in thread_rw_work()
1810 		switch (mod_rand) {  in thread_rw_work()
1827 			panic("rand()mod4 returned %u (random %u)", mod_rand, rand);  in thread_rw_work()