POK
/home/jaouen/pok_official/pok/trunk/libpok/core/threadid.c
00001 /*
00002  *                               POK header
00003  *
00004  * The following file is a part of the POK project. Any modification should
00005  * made according to the POK licence. You CANNOT use this file or a part of
00006  * this file is this part of a file for your own project
00007  *
00008  * For more information on the POK licence, please see our LICENCE FILE
00009  *
00010  * Please follow the coding guidelines described in doc/CODING_GUIDELINES
00011  *
00012  *                                      Copyright (c) 2007-2009 POK team
00013  *
00014  * Created by julien on Tue Aug 25 19:43:46 2009
00015  */
00016 
00017 
00018 #include <core/dependencies.h>
00019 
00020 #ifdef POK_NEEDS_THREAD_ID
00021 #include <arch.h>
00022 #include <types.h>
00023 #include <core/syscall.h>
00024 #include <core/thread.h>
00025 
00026 
00027 pok_ret_t pok_thread_id (uint32_t* thread_id)
00028 {
00029          return pok_syscall2 (POK_SYSCALL_THREAD_ID, (uint32_t)thread_id, 0);
00030 }
00031 #endif