L4Re Operating System Framework
Interface and Usage Documentation
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
namespace.h
Go to the documentation of this file.
1
5/*
6 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
7 * Alexander Warg <warg@os.inf.tu-dresden.de>
8 * economic rights: Technische Universität Dresden (Germany)
9 *
10 * License: see LICENSE.spdx (in this directory or the directories above)
11 */
12#pragma once
13
20#include <l4/re/env.h>
21
29 L4RE_NS_REGISTER_RO = L4_FPAGE_RO,
30 L4RE_NS_REGISTER_DIR = 0x10,
31 L4RE_NS_REGISTER_RW = L4_FPAGE_RX,
32 L4RE_NS_REGISTER_RWS = L4_FPAGE_RWX,
33 L4RE_NS_REGISTER_S = L4_FPAGE_W,
34};
35
37
43
44
45
54L4_CV long
56 l4_cap_idx_t const cap, int timeout) L4_NOTHROW;
57
75l4re_ns_query_srv(l4re_namespace_t srv, char const *name,
76 l4_cap_idx_t const cap) L4_NOTHROW;
77
85L4_CV long
87 l4_cap_idx_t const obj, unsigned flags) L4_NOTHROW;
88
89
90
91/****** Implementation ***********/
92
94l4re_ns_query_srv(l4re_namespace_t srv, char const *name,
95 l4_cap_idx_t const cap) L4_NOTHROW
96{
97 return l4re_ns_query_to_srv(srv, name, cap, 40000);
98}
99
100
Environment interface.
long l4re_ns_query_srv(l4re_namespace_t srv, char const *name, l4_cap_idx_t const cap) L4_NOTHROW
Query the name space for the object named by name.
Definition namespace.h:94
long l4re_ns_register_obj_srv(l4re_namespace_t srv, char const *name, l4_cap_idx_t const obj, unsigned flags) L4_NOTHROW
Register an object with a name.
l4_cap_idx_t l4re_namespace_t
Namespace type.
Definition namespace.h:42
long l4re_ns_query_to_srv(l4re_namespace_t srv, char const *name, l4_cap_idx_t const cap, int timeout) L4_NOTHROW
Query the name space for the object named by name.
l4re_ns_register_flags
Namespace register flags.
Definition namespace.h:28
unsigned long l4_cap_idx_t
Capability selector type.
Definition types.h:335
@ L4_FPAGE_RWX
Read-write-execute flexpage.
Definition __l4_fpage.h:125
@ L4_FPAGE_RX
Read-execute flexpage.
Definition __l4_fpage.h:124
@ L4_FPAGE_RO
Read-only flexpage
Definition __l4_fpage.h:122
@ L4_FPAGE_W
Writable flexpage.
Definition __l4_fpage.h:121
#define __END_DECLS
End section with C types and functions.
Definition compiler.h:167
#define L4_CV
Define calling convention.
Definition linkage.h:33
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
Definition compiler.h:159
#define L4_INLINE
L4 Inline function attribute.
Definition compiler.h:51
#define __BEGIN_DECLS
Start section with C types and functions.
Definition compiler.h:164