3 * \brief List of all init priorities.
6 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
7 * economic rights: Technische Universität Dresden (Germany)
8 * This file is part of TUD:OS and distributed under the terms of the
9 * GNU Lesser General Public License 2.1.
10 * Please see the COPYING-LGPL-2.1 file for details.
12 #ifndef __L4RE__INIT_PRIORITIES__
13 #define __L4RE__INIT_PRIORITIES__
15 #define INIT_PRIO_EARLY_VAL 101
16 #define INIT_PRIO_L4RE_UTIL_CAP_ALLOC 200
18 #define INIT_PRIO_THREADLIB_UTCB_BITMAP 1001
19 #define INIT_PRIO_THREADLIB_INIT_VAL 1002
20 #define INIT_PRIO_LIBC_BE_FILE_VAL 1005
22 #define INIT_PRIO_LIBIO_INIT_VAL 1100
23 #define INIT_PRIO_RTC_L4LIBC_INIT_VAL 1200
24 #define INIT_PRIO_LATE_VAL 2000
28 #define INIT_PRIO_EARLY 00101
29 #define INIT_PRIO_THREADLIB_INIT 01002
30 #define INIT_PRIO_LIBC_BE_FILE 01005
31 #define INIT_PRIO_LIBIO_INIT 01100
32 #define INIT_PRIO_RTC_L4LIBC_INIT 01200
33 #define INIT_PRIO_LATE 02000
37 #define INIT_PRIO_EARLY 65434
38 #define INIT_PRIO_THREADLIB_INIT 64533
39 #define INIT_PRIO_LIBC_BE_FILE 64530
40 #define INIT_PRIO_LIBIO_INIT 64435
41 #define INIT_PRIO_RTC_L4LIBC_INIT 64335
42 #define INIT_PRIO_LATE 63535
44 /* Assertions on the rev priorities */
45 #if INIT_PRIO_EARLY + INIT_PRIO_EARLY_VAL != 65535
46 #error INIT_PRIO_EARLY mis-match
48 #if INIT_PRIO_THREADLIB_INIT + INIT_PRIO_THREADLIB_INIT_VAL != 65535
49 #error INIT_PRIO_THREADLIB mis-match
51 #if INIT_PRIO_LIBC_BE_FILE + INIT_PRIO_LIBC_BE_FILE_VAL != 65535
52 #error INIT_PRIO_LIBC_BE_FILE mis-match
54 #if INIT_PRIO_LIBIO_INIT + INIT_PRIO_LIBIO_INIT_VAL != 65535
55 #error INIT_PRIO_THREADLIB mis-match
57 #if INIT_PRIO_RTC_L4LIBC_INIT + INIT_PRIO_RTC_L4LIBC_INIT_VAL != 65535
58 #error INIT_PRIO_RTC_L4LIBC_INIT mis-match
60 #if INIT_PRIO_LATE + INIT_PRIO_LATE_VAL != 65535
61 #error INIT_PRIO_LATE mis-match