POK
types.h
1 /*
2  * POK header
3  *
4  * The following file is a part of the POK project. Any modification should
5  * made according to the POK licence. You CANNOT use this file or a part of
6  * this file is this part of a file for your own project
7  *
8  * For more information on the POK licence, please see our LICENCE FILE
9  *
10  * Please follow the coding guidelines described in doc/CODING_GUIDELINES
11  *
12  * Copyright (c) 2007-2009 POK team
13  *
14  * Created by julien on Thu Jan 15 23:34:13 2009
15  */
16 
17 
18 #ifndef __POK_TYPES_H__
19 #define __POK_TYPES_H__
20 
21 #if POK_ARCH == x86
22 #include <arch/x86/types.h>
23 #endif
24 
25 #define NULL 0
26 #define FALSE 0
27 #define TRUE 1
28 #define bool_t int
29 #define pok_bool_t int
30 
31 typedef uint32_t pok_port_size_t;
32 typedef uint8_t pok_port_direction_t;
33 typedef uint8_t pok_queueing_discipline_t;
34 typedef uint8_t pok_port_id_t;
35 typedef uint32_t pok_size_t;
36 typedef uint8_t pok_range_t;
37 typedef uint8_t pok_buffer_id_t;
38 typedef uint8_t pok_blackboard_id_t;
39 typedef uint8_t pok_mutex_id_t;
40 typedef uint16_t pok_event_id_t;
41 typedef uint8_t pok_sem_id_t;
42 typedef uint8_t pok_partition_id_t;
43 typedef uint8_t pok_sem_status_t;
44 typedef uint16_t pok_sem_value_t;
45 
46 typedef uint64_t pok_time_t;
47 
48 #define size_t pok_size_t
49 
50 #endif