junk1             106 kern/test/tt3.c waker_thread(void *junk1, unsigned long junk2)
junk1             110 kern/test/tt3.c 	(void)junk1;
junk1             155 kern/test/tt3.c compute_thread(void *junk1, unsigned long num)
junk1             165 kern/test/tt3.c 	(void)junk1;