1 /**
2  * \file
3  * \brief   Common L4 constants, arm version
4  * \ingroup l4_api
5  */
6 /*
7  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
8  *               Alexander Warg <warg@os.inf.tu-dresden.de>,
9  *               Björn Döbel <doebel@os.inf.tu-dresden.de>
10  *     economic rights: Technische Universität Dresden (Germany)
11  *
12  * This file is part of TUD:OS and distributed under the terms of the
13  * GNU General Public License 2.
14  * Please see the COPYING-GPL-2 file for details.
15  *
16  * As a special exception, you may use this file as part of a free software
17  * library without restriction.  Specifically, if other files instantiate
18  * templates or use macros or inline functions from this file, or you compile
19  * this file and link it with other files to produce an executable, this
20  * file does not by itself cause the resulting executable to be covered by
21  * the GNU General Public License.  This exception does not however
22  * invalidate any other reasons why the executable file might be covered by
23  * the GNU General Public License.
24  */
25 #ifndef _L4_SYS_CONSTS_H
26 #define _L4_SYS_CONSTS_H
27 
28 /* L4 includes */
29 #include <l4/sys/l4int.h>
30 /**
31  * \addtogroup l4_memory_api
32  */
33 /*@{*/
34 /**
35  * Size of a page, log2-based.
36  */
37 #define L4_PAGESHIFT		12
38 
39 /**
40  * Size of a large page, log2-based.
41  */
42 #define L4_SUPERPAGESHIFT	21
43 
44 /*@}*/
45 
46 #include_next <l4/sys/consts.h>
47 
48 #endif /* !_L4_SYS_CONSTS_H */
49