POK(kernelpart)
Main Page
Data Structures
Files
File List
Globals
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
{
31
context_t
ctx
;
32
uint32_t
fake_ret
;
33
unsigned
int
partition_id
;
34
uint32_t
user_pc
;
35
uint32_t
user_sp
;
36
uint32_t
kernel_sp
;
37
uint32_t
arg1
;
38
uint32_t
arg2
;
39
}
space_context_t
;
40
41
#endif
/* !__POK_X86_SPACE_H__ */
42
kernel
arch
x86
space.h
Generated on Fri Jun 1 2012 19:07:12 for POK(kernelpart) by
1.8.1