POK(kernelpart)
/home/jaouen/pok_official/pok/trunk/kernel/include/types.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 #ifndef __POK_TYPES_H__
00019 #define __POK_TYPES_H__
00020 
00021 #ifdef POK_ARCH_SPARC
00022 #include <arch/sparc/types.h>
00023 #elif POK_ARCH == x86
00024 #include <arch/x86/types.h>
00025 #endif
00026 
00027 #define NULL   0
00028 #define FALSE  0
00029 #define TRUE   1
00030 #define bool_t int
00031 #define pok_bool_t int
00032 
00033 typedef uint32_t pok_port_size_t;
00034 typedef uint8_t pok_port_direction_t;
00035 typedef uint8_t pok_port_kind_t;
00036 typedef uint8_t pok_queueing_discipline_t;
00037 typedef uint8_t pok_port_id_t;
00038 typedef uint8_t pok_size_t;
00039 typedef uint8_t pok_range_t;
00040 typedef uint8_t pok_buffer_id_t;
00041 typedef uint8_t pok_blackboard_id_t;
00042 typedef uint8_t pok_lockobj_id_t;
00043 typedef uint8_t pok_sem_id_t;
00044 typedef uint8_t pok_event_id_t;
00045 typedef uint8_t pok_partition_id_t;
00046 typedef uint16_t pok_sem_value_t;
00047 
00048 #endif