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__);

        /* Performance tests */
        /* API Tests */
        capability_test();

        //exit_test();

        /* Now quit to demo self-paging quit */
        //l4_exit(0);

        /* Now quit by null pointer */
        //      *((int *)0) = 5;

        return 0;
}