kern/env.h

   1 /* See COPYRIGHT for copyright information. */
   2
   3 #ifndef JOS_KERN_ENV_H
   4 #define JOS_KERN_ENV_H
   5
   6 #include <inc/env.h>
   7
   8 #ifndef JOS_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 JOS_MULTIENV 0
  12 #endif
  13
  14 extern struct Env *envs;                // All environments
  15 extern struct Env *curenv;              // Current environment
  16
  17 LIST_HEAD(Env_list, Env);               // Declares 'struct Env_list'
  18
  19 void    env_init(void);
  20 int     env_alloc(struct Env **e, envid_t parent_id);
  21 void    env_free(struct Env *e);
  22 void    env_create(uint8_t *binary, size_t size);
  23 void    env_destroy(struct Env *e);     // Does not return if e == curenv
  24
  25 int     envid2env(envid_t envid, struct Env **env_store, bool checkperm);
  26 // The following two functions do not return
  27 void    env_run(struct Env *e) __attribute__((noreturn));
  28 void    env_pop_tf(struct Trapframe *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 // !JOS_KERN_ENV_H