L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
thread.h
Go to the documentation of this file.
1
7
8/*
9 * (c) 2003-2009 Author(s)
10 * economic rights: Technische Universität Dresden (Germany)
11 * License: see LICENSE.spdx (in this directory or the directories above)
12 */
13
14#ifndef __L4_THREAD_H
15#define __L4_THREAD_H
16
17#include <l4/sys/compiler.h>
18#include <l4/sys/types.h>
19#include <l4/sys/scheduler.h>
20
22
27
45L4_CV long
46l4util_create_thread(l4_cap_idx_t id, l4_utcb_t *thread_utcb,
47 l4_cap_idx_t factory,
49 l4_cap_idx_t task,
51
53
54#ifndef L4UTIL_THREAD_FUNC
71#define __L4UTIL_THREAD_FUNC(name) void L4_NORETURN name(void)
72#define L4UTIL_THREAD_FUNC(name) __L4UTIL_THREAD_FUNC(name)
73#define __L4UTIL_THREAD_STATIC_FUNC(name) static L4_NORETURN void name(void)
74#define L4UTIL_THREAD_STATIC_FUNC(name) __L4UTIL_THREAD_STATIC_FUNC(name)
75#endif
76
77#endif /* __L4_THREAD_H */
L4 compiler related defines.
unsigned long l4_umword_t
Unsigned machine word.
Definition l4int.h:40
unsigned long l4_cap_idx_t
Capability selector type.
Definition types.h:336
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
Definition utcb.h:56
#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:161
#define L4_BEGIN_DECLS
Start section with C types and functions.
Definition compiler.h:165
#define L4_END_DECLS
End section with C types and functions.
Definition compiler.h:166
Common L4 ABI Data Types.
Scheduler parameter set.
Definition scheduler.h:174
Scheduler object functions.