lib/wait.c

   1 #include <inc/lib.h>
   2
   3 // Waits until 'envid' exits.
   4 void
   5 wait(envid_t envid)
   6 {
   7         volatile struct Env *e;
   8
   9         assert(envid != 0);
  10         e = &envs[ENVX(envid)];
  11         while (e->env_id == envid && e->env_status != ENV_FREE)
  12                 sys_yield();
  13 }