POK(kernelpart)
types.h
Go to the documentation of this file.
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 #ifdef POK_ARCH_SPARC
22 #include <arch/sparc/types.h>
23 #elif POK_ARCH == x86
24 #include <arch/x86/types.h>
25 #endif
26 
27 #define NULL 0
28 #define FALSE 0
29 #define TRUE 1
30 #define bool_t int
31 #define pok_bool_t int
32 
33 typedef uint32_t pok_port_size_t;
34 typedef uint8_t pok_port_direction_t;
35 typedef uint8_t pok_port_kind_t;
36 typedef uint8_t pok_queueing_discipline_t;
37 typedef uint8_t pok_port_id_t;
38 typedef uint8_t pok_size_t;
39 typedef uint8_t pok_range_t;
40 typedef uint8_t pok_buffer_id_t;
41 typedef uint8_t pok_blackboard_id_t;
42 typedef uint8_t pok_lockobj_id_t;
43 typedef uint8_t pok_sem_id_t;
44 typedef uint8_t pok_event_id_t;
45 typedef uint8_t pok_partition_id_t;
46 typedef uint16_t pok_sem_value_t;
47 
48 #endif