POK(kernelpart)
/home/jaouen/pok_official/pok/trunk/kernel/arch/x86/space.h
Go to the documentation of this file.
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 
00023 #ifndef __POK_X86_SPACE_H__
00024 #define __POK_X86_SPACE_H__
00025 
00026 #include <types.h>
00027 #include "thread.h"
00028 
00029 typedef struct
00030 {
00031   context_t ctx;
00032   uint32_t fake_ret;
00033   unsigned int partition_id;
00034   uint32_t user_pc;
00035   uint32_t user_sp;
00036   uint32_t kernel_sp;
00037   uint32_t arg1;
00038   uint32_t arg2;
00039 } space_context_t;
00040 
00041 #endif /* !__POK_X86_SPACE_H__ */
00042