L4Re - L4 Runtime Environment
thread.h
Go to the documentation of this file.
1 
8 /*
9  * (c) 2003-2009 Author(s)
10  * economic rights: Technische Universit├Ąt Dresden (Germany)
11  * This file is part of TUD:OS and distributed under the terms of the
12  * GNU Lesser General Public License 2.1.
13  * Please see the COPYING-LGPL-2.1 file for details.
14  */
15 
16 #ifndef __L4_THREAD_H
17 #define __L4_THREAD_H
18 
19 #include <l4/sys/types.h>
20 #include <l4/sys/scheduler.h>
21 
23 
46 L4_CV long
47 l4util_create_thread(l4_cap_idx_t id, l4_utcb_t *thread_utcb,
48  l4_cap_idx_t factory,
49  l4_umword_t pc, l4_umword_t sp, l4_cap_idx_t pager,
50  l4_cap_idx_t task,
52 
54 
55 #ifndef L4UTIL_THREAD_FUNC
56 
72 #define __L4UTIL_THREAD_FUNC(name) void L4_NORETURN name(void)
73 #define L4UTIL_THREAD_FUNC(name) __L4UTIL_THREAD_FUNC(name)
74 #define __L4UTIL_THREAD_STATIC_FUNC(name) static L4_NORETURN void name(void)
75 #define L4UTIL_THREAD_STATIC_FUNC(name) __L4UTIL_THREAD_STATIC_FUNC(name)
76 #endif
77 
78 #endif /* __L4_THREAD_H */
Common L4 ABI Data Types.
#define EXTERN_C_END
End section with C types and functions.
Definition: compiler.h:187
Scheduler parameter set.
Definition: scheduler.h:120
unsigned long l4_cap_idx_t
L4 Capability selector Type.
Definition: types.h:342
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
Definition: utcb.h:67
Scheduler object functions.
unsigned long l4_umword_t
Unsigned machine word.
Definition: l4int.h:52
#define EXTERN_C_BEGIN
Start section with C types and functions.
Definition: compiler.h:186
#define L4_CV
Define calling convention.
Definition: linkage.h:44
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
Definition: compiler.h:185