seenpid            67 user/testbin/forkbomb/forkbomb.c 			volatile int seenpid;
seenpid            68 user/testbin/forkbomb/forkbomb.c 			seenpid = pid;
seenpid            69 user/testbin/forkbomb/forkbomb.c 			if (seenpid != getpid()) {
seenpid            72 user/testbin/forkbomb/forkbomb.c 				     seenpid, getpid());
seenpid            81 user/testbin/forktest/forktest.c 		volatile int seenpid;
seenpid            82 user/testbin/forktest/forktest.c 		seenpid = mypid;
seenpid            83 user/testbin/forktest/forktest.c 		if (seenpid != getpid()) {
seenpid            86 user/testbin/forktest/forktest.c 			     seenpid, getpid());