L4Re Operating System Framework
Interface and Usage Documentation
|
Environment interface. More...
#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>
Go to the source code of this file.
Data Structures | |
struct | l4re_env_cap_entry_t |
Entry in the L4Re environment array for the named inital objects. More... | |
struct | l4re_env_t |
Initial environment data structure. More... | |
Typedefs | |
typedef struct l4re_env_cap_entry_t | l4re_env_cap_entry_t |
Entry in the L4Re environment array for the named inital objects. | |
typedef struct l4re_env_t | l4re_env_t |
Initial environment data structure. | |
Functions | |
l4re_env_t * | l4re_env (void) L4_NOTHROW |
Get L4Re initial environment. | |
l4_kernel_info_t const * | l4re_kip (void) L4_NOTHROW |
Get Kernel Info Page. | |
l4_cap_idx_t | l4re_env_get_cap (char const *name) L4_NOTHROW |
Get the capability selector for the object named name. | |
l4_cap_idx_t | l4re_env_get_cap_e (char const *name, l4re_env_t const *e) L4_NOTHROW |
Get the capability selector for the object named name. | |
l4re_env_cap_entry_t const * | l4re_env_get_cap_l (char const *name, unsigned l, l4re_env_t const *e) L4_NOTHROW |
Get the full l4re_env_cap_entry_t for the object named name. | |
Environment interface.
Definition in file env.h.
typedef struct l4re_env_t l4re_env_t |
Initial environment data structure.