Subversion Repositories c0or1k

/*
 * Main function for all tests
 *
 * Copyright (C) 2009 B Labs Ltd.
 */
#include <l4/api/errno.h>
#include <container.h>
#include <thread.h>
#include <tests.h>
#include <l4lib/macros.h>
#include L4LIB_INC_ARCH(syslib.h)
#include L4LIB_INC_ARCH(syscalls.h)
#include <l4/api/space.h>
 
 
int exit_test_thread(void *arg)
{
	while (1)
		;
	//l4_thread_switch(0);
	//l4_exit(5);
	return 0;
}
 
int exit_test(void)
{
	int ret;
	struct task_ids ids;
 
	/* Create and run a new thread */
	if ((ret = thread_create(exit_test_thread, 0,
				 TC_SHARE_SPACE | TC_AS_PAGER,
				 &ids)) < 0) {
		printf("Top-level simple_pager creation failed.\n");
		goto out_err;
	} else
		printf("Thread (%d) created successfully.\n", ids.tid);
 
	// l4_thread_switch(0);
 
	/* Kill it */
	printf("Killing Thread (%d).\n", ids.tid);
	if ((ret = l4_thread_control(THREAD_DESTROY, &ids)) < 0)
		printf("Error: Killing Thread (%d), err = %d\n", ids.tid, ret);
	else
		printf("Success: Killed Thread (%d)\n", ids.tid);
 
 
#if 0
	/* Wait on it */
	printf("Waiting on Thread (%d) to exit.\n", ids.tid);
	if ((ret = l4_thread_control(THREAD_WAIT, &ids)) >= 0)
		printf("Success. Paged child returned %d\n", ret);
	else
		printf("Error. Wait on (%d) failed. err = %d\n",
		       ids.tid, ret);
 
#endif
	return 0;
out_err:
	BUG();
}
 
int main(void)
{
	printf("%s: Container %s started\n",
	       __CONTAINER__, __CONTAINER_NAME__);
 
	capability_test();
 
	//exit_test();
 
	/* Now quit to demo self-paging quit */
	//l4_exit(0);
 
	/* Now quit by null pointer */
	//	*((int *)0) = 5;
 
	return 0;
}