env.h

Go to the documentation of this file.

 
/*
 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
 *               Alexander Warg <warg@os.inf.tu-dresden.de>
 *     economic rights: Technische Universität Dresden (Germany)
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#pragma once
 
#include <l4/sys/consts.h>
#include <l4/sys/types.h>
#include <l4/sys/kip.h>
#include <l4/sys/compiler.h>
 
#include <l4/re/consts.h>
 
typedef struct l4re_env_cap_entry_t
{
  l4_cap_idx_t cap;
 
  l4_umword_t flags;
 
  char name[16];
#ifdef __cplusplus
 
  l4re_env_cap_entry_t() L4_NOTHROW : cap(L4_INVALID_CAP), flags(~0UL) {}
 
  l4re_env_cap_entry_t(char const *n, l4_cap_idx_t c, l4_umword_t f = 0) L4_NOTHROW
  : cap(c), flags(f)
  {
    for (unsigned i = 0; n && i < sizeof(name); ++i, ++n)
      {
        name[i] = *n;
  if (!*n)
    break;
      }
  }
 
  static bool is_valid_name(char const *n) L4_NOTHROW
  {
    for (unsigned i = 0; *n; ++i, ++n)
      if (i > sizeof(name))
        return false;
 
    return true;
  }
#endif
} l4re_env_cap_entry_t;
 
 
typedef struct l4re_env_t
{
  l4_cap_idx_t parent;         
  l4_cap_idx_t rm;             
  l4_cap_idx_t mem_alloc;      
  l4_cap_idx_t log;            
  l4_cap_idx_t main_thread;    
  l4_cap_idx_t factory;        
  l4_cap_idx_t scheduler;      
  l4_cap_idx_t itas;           
  l4_cap_idx_t first_free_cap; 
  l4_fpage_t utcb_area;        
  l4_addr_t first_free_utcb;   
  l4re_env_cap_entry_t *caps;
} l4re_env_t;
 
extern l4re_env_t *l4re_global_env;
 
 
L4_INLINE l4re_env_t *l4re_env(void) L4_NOTHROW;
 
/*
 * FIXME: this seems to be at the wrong place here
 */
L4_INLINE l4_kernel_info_t const *l4re_kip(void) L4_NOTHROW;
 
 
L4_INLINE l4_cap_idx_t
l4re_env_get_cap(char const *name) L4_NOTHROW;
 
L4_INLINE l4_cap_idx_t
l4re_env_get_cap_e(char const *name, l4re_env_t const *e) L4_NOTHROW;
 
L4_INLINE l4re_env_cap_entry_t const *
l4re_env_get_cap_l(char const *name, unsigned l, l4re_env_t const *e) L4_NOTHROW;
 
L4_INLINE
l4re_env_t *l4re_env(void) L4_NOTHROW
{ return l4re_global_env; }
 
L4_INLINE
l4_kernel_info_t const *l4re_kip(void) L4_NOTHROW
{ return l4_kip(); }
 
L4_INLINE l4re_env_cap_entry_t const *
l4re_env_get_cap_l(char const *name, unsigned l, l4re_env_t const *e) L4_NOTHROW
{
  l4re_env_cap_entry_t const *c = e->caps;
  for (; c && c->flags != ~0UL; ++c)
    {
      unsigned i;
      for (i = 0;
           i < sizeof(c->name) && i < l && c->name[i] && name[i] && name[i] == c->name[i];
           ++i)
  ;
 
      if (i == l && (i == sizeof(c->name) || !c->name[i]))
  return c;
    }
  return NULL;
}
 
L4_INLINE l4_cap_idx_t
l4re_env_get_cap_e(char const *name, l4re_env_t const *e) L4_NOTHROW
{
  unsigned l;
  l4re_env_cap_entry_t const *r;
  for (l = 0; name[l]; ++l) ;
  r = l4re_env_get_cap_l(name, l, e);
  if (r)
    return r->cap;
 
  return L4_INVALID_CAP;
}
 
L4_INLINE l4_cap_idx_t
l4re_env_get_cap(char const *name) L4_NOTHROW
{ return l4re_env_get_cap_e(name, l4re_env()); }