80 static void sem_player(int fd1, int fd2)  in sem_player()  argument
82 	fprintf(stdout, "[%u] posting 1 on %d\n", getpid(), fd1);  in sem_player()
83 	xsem_post(fd1, 1);  in sem_player()
88 	fprintf(stdout, "[%u] posting 1 on %d\n", getpid(), fd1);  in sem_player()
89 	xsem_post(fd1, 1);  in sem_player()
94 	fprintf(stdout, "[%u] posting 5 on %d\n", getpid(), fd1);  in sem_player()
95 	xsem_post(fd1, 5);  in sem_player()
112 	int c, fd1, fd2, status;  in main()  local
127 	if ((fd1 = eventfd2(0, EFD_SEMLIKE)) == -1 ||  in main()
133 		sem_player(fd1, fd2);  in main()
137 		sem_player(fd2, fd1);  in main()