L4Re Operating System Framework
Interface and Usage Documentation
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
ipc.h
1
6/*
7 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
8 * Alexander Warg <warg@os.inf.tu-dresden.de>
9 * economic rights: Technische Universität Dresden (Germany)
10 *
11 * License: see LICENSE.spdx (in this directory or the directories above)
12 */
13#pragma once
14
15#include_next <l4/sys/ipc.h>
16
17#ifdef __GNUC__
18
19#include <l4/sys/compiler.h>
20
22
23struct __l4_sys_syscall_res
24{
25 l4_mword_t tag;
26 l4_umword_t label;
27};
28
29extern struct __l4_sys_syscall_res
30__l4_sys_syscall(l4_mword_t tag,
31 l4_umword_t slabel,
32 l4_umword_t dest,
33 l4_umword_t timeout) L4_NOTHROW;
34
36
39 l4_umword_t flags,
40 l4_umword_t slabel,
41 l4_msgtag_t tag,
42 l4_umword_t *rlabel,
44{
45 // No need for memory clobbers. The compiler has to assume that all global
46 // data is read/written because __l4_sys_syscall is implemented in a
47 // different translation unit.
48 struct __l4_sys_syscall_res res
49 = __l4_sys_syscall(tag.raw, slabel, dest | flags, timeout.raw);
50
51 (void)utcb;
52
53 if (rlabel)
54 *rlabel = res.label;
55 tag.raw = res.tag;
56
57 return tag;
58}
59
60#endif //__GNUC__
L4 compiler related defines.
unsigned long l4_umword_t
Unsigned machine word.
Definition l4int.h:40
signed long l4_mword_t
Signed machine word.
Definition l4int.h:37
unsigned long l4_cap_idx_t
Capability selector type.
Definition types.h:335
l4_msgtag_t l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, l4_umword_t flags, l4_umword_t slabel, l4_msgtag_t tag, l4_umword_t *rlabel, l4_timeout_t timeout) L4_NOTHROW
Generic L4 object invocation.
Definition ipc.h:21
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
Definition utcb.h:56
#define __END_DECLS
End section with C types and functions.
Definition compiler.h:167
#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
Message tag data structure.
Definition types.h:153
Timeout pair.
Definition __timeout.h:53