#define _GNU_SOURCE
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <pthread.h>
#include <errno.h>
#include <sys/mman.h>
#include <unistd.h>
#include <sys/syscall.h>   /* For SYS_xxx definitions */
#include <linux/futex.h>
#include <sys/time.h>

int passed = 0, sem = 0;
pthread_t thr;

void *util_thread(void *arg) {
	int rc;

	rc = syscall(732);
	if (rc == -1)
		fprintf(stderr, "CT13100 running on Linux CPU OK\n");
	else {
		fprintf(stderr, "CT13100 running on Linux CPU NG (%d)\n", rc);
	}

 retry:
	while (!passed) {
		asm volatile("pause" ::: "memory"); 
	}
	usleep(100000); /* debug messages via serial takes 0.05 sec */

	rc = syscall(__NR_futex, &sem, FUTEX_WAKE, 1, NULL, NULL, 0);
	if (rc != 1) {
		fprintf(stderr, "CT13101 FUTEX_WAKE NG (%d,%s)\n", rc, strerror(errno));
	} else {
		fprintf(stderr, "CT13101 FUTEX_WAKE OK\n");
	}

	return NULL;
}

int main(int argc, char **argv)
{
	int rc;

	fprintf(stderr, "CT13001 futex START\n");
	rc = syscall(731, 1, NULL);
	if (rc) {
		fprintf(stderr, "util_indicate_clone rc=%d, errno=%d\n", rc, errno);
		fflush(stderr);
	}

	rc = pthread_create(&thr, NULL, util_thread, NULL);
	if (rc){
		fprintf(stderr, "pthread_create: %d\n", rc);
		exit(1);
	}
	fprintf(stderr, "CT13002 pthread_create OK\n");

	passed = 1;

	rc = syscall(__NR_futex, &sem, FUTEX_WAIT, 0, NULL, NULL, 0);
	if (rc != 0) {
		fprintf(stderr, "CT13003 FUTEX_WAIT NG (%s)\n", strerror(errno));
	} else {
		fprintf(stderr, "CT13003 FUTEX_WAIT OK\n");
	}

	pthread_join(thr, NULL);
	fprintf(stderr, "CT13004 pthread_join OK\n");

	fprintf(stderr, "CT13005 END\n");
	exit(0);
}