Handles multiple simultaneous synchronous syscalls
[akaros.git] / kern / env.h
1 /* See COPYRIGHT for copyright information. */
2
3 #ifndef ROS_KERN_ENV_H
4 #define ROS_KERN_ENV_H
5
6 #include <inc/env.h>
7
8 #ifndef ROS_MULTIENV
9 // Change this value to 1 once you're allowing multiple environments
10 // (for UCLA: Lab 3, Part 3; for MIT: Lab 4).
11 #define ROS_MULTIENV 0
12 #endif
13
14 extern env_t *envs;             // All environments
15 extern env_t* NORACE curenvs[MAX_NUM_CPUS];
16
17 LIST_HEAD(env_list_t, env_t);           // Declares 'struct Env_list'
18
19 void    env_init(void);
20 int             env_alloc(env_t **e, envid_t parent_id);
21 void    env_free(env_t *e);
22 void    env_create(uint8_t *binary, size_t size);
23 void    (IN_HANDLER env_destroy)(env_t *e);     // Does not return if e == curenv
24
25 int     envid2env(envid_t envid, env_t **env_store, bool checkperm);
26 // The following two functions do not return
27 void    (IN_HANDLER env_run)(env_t *e) __attribute__((noreturn));
28 void    env_pop_tf(trapframe_t *tf) __attribute__((noreturn));
29
30 // For the grading script
31 #define ENV_CREATE2(start, size)        {               \
32         extern uint8_t start[], size[];                 \
33         env_create(start, (int)size);                   \
34 }
35
36 #define ENV_CREATE(x)                   {               \
37         extern uint8_t _binary_obj_##x##_start[],       \
38                 _binary_obj_##x##_size[];               \
39         env_create(_binary_obj_##x##_start,             \
40                 (int)_binary_obj_##x##_size);           \
41 }
42
43 #endif // !ROS_KERN_ENV_H