POK(kernelpart)
/home/jaouen/pok_official/pok/trunk/kernel/include/core/debug.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 Thu Jan 15 23:34:13 2009 
00015  */
00016 
00017 
00018 #ifdef POK_NEEDS_DEBUG
00019 
00020 #ifndef __POK_KERNEL_DEBUG_H_
00021 #define __POK_KERNEL_DEBUG_H_
00022 
00023 #include <errno.h>
00024 #include <types.h>
00025 #include <libc.h>
00026 
00027 void            pok_fatal(const char* message);
00028 
00029 int      debug_strlen (const char* str);
00030 
00031 #define POK_FATAL(arg) pok_fatal(arg)
00032 
00033 #define POK_DEBUG_PRINT_CURRENT_STATE pok_debug_print_current_state();
00034 
00035 #endif /* __POK_KERNELDEBUG_H__ */
00036 #else
00037    #define POK_DEBUG_PRINT_CURRENT_STATE
00038    #define POK_FATAL(arg) 
00039 #endif /* POK_NEEDS_DEBUG */
00040