POK(kernelpart)
space.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 
23 #ifndef __POK_X86_SPACE_H__
24 #define __POK_X86_SPACE_H__
25 
26 #include <types.h>
27 #include "thread.h"
28 
29 typedef struct
30 {
33  unsigned int partition_id;
40 
41 #endif /* !__POK_X86_SPACE_H__ */
42