POK
/home/jaouen/pok_official/pok/trunk/libpok/include/types.h
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 #if POK_ARCH == x86
00022 #include <arch/x86/types.h>
00023 #endif
00024 
00025 #define NULL   0
00026 #define FALSE  0
00027 #define TRUE   1
00028 #define bool_t int
00029 #define pok_bool_t int
00030 
00031 typedef uint32_t  pok_port_size_t;
00032 typedef uint8_t   pok_port_direction_t;
00033 typedef uint8_t   pok_queueing_discipline_t;
00034 typedef uint8_t   pok_port_id_t;
00035 typedef uint32_t  pok_size_t;
00036 typedef uint8_t   pok_range_t;
00037 typedef uint8_t   pok_buffer_id_t;
00038 typedef uint8_t   pok_blackboard_id_t;
00039 typedef uint8_t   pok_mutex_id_t;
00040 typedef uint16_t  pok_event_id_t;
00041 typedef uint8_t   pok_sem_id_t;
00042 typedef uint8_t   pok_partition_id_t;
00043 typedef uint8_t   pok_sem_status_t;
00044 typedef uint16_t  pok_sem_value_t;
00045 
00046 typedef uint64_t  pok_time_t;
00047 
00048 #define size_t    pok_size_t
00049 
00050 #endif