POK(kernelpart)
/home/jaouen/pok_official/pok/trunk/kernel/include/core/instrumentation.h
Go to the documentation of this file.
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 Fri Sep 25 20:46:54 2009 
00015  */
00016 
00017 #ifndef __POK_KERNEL_INSTRUMENTATION_H__
00018 #define __POK_KERNEL_INSTRUMENTATION_H__
00019 
00020 #ifdef POK_NEEDS_INSTRUMENTATION
00021 
00022 #include <libc.h>
00023 #include <types.h>
00024 
00025 void pok_instrumentation_task_archi (const uint32_t id);
00026 
00027 void pok_instrumentation_partition_archi (const uint8_t id);
00028 
00029 void pok_instrumentation_running_task (const uint32_t id);
00030 
00031 #endif /* POK_NEEDS_INSTRUMENTATION */
00032 
00033 #endif /* POK_KERNEL_INSTRUMENTATION_H__ */