author | sl |
Tue, 10 Jun 2014 14:32:02 +0200 | |
changeset 1 | 260cb5ec6c19 |
permissions | -rw-r--r-- |
1 /** @file ../include/machine/param.h
2 @internalComponent
3 */
5 /** @def _ALIGNBYTES
7 Round p (pointer or byte index) up to a correctly-aligned value for all data types (int, long, ...).
8 The result is unsigned int and must be cast to any desired pointer type.
10 @publishedAll
11 @released
12 */
14 /** @def PAGE_SHIFT
16 LOG2(PAGE_SIZE)
18 @publishedAll
19 @released
20 */
22 /** @def PAGE_SIZE
24 bytes per page
26 @publishedAll
27 @released
28 */
30 /** @def PDRSHIFT
32 LOG2(NBPDR)
34 @publishedAll
35 @released
36 */
38 /** @def VM_BCACHE_SIZE_MAX
40 Ceiling on size of buffer cache
42 @publishedAll
43 @released
44 */
46 /** @def IOPAGES
48 pages of io permission bitmap
50 @publishedAll
51 @released
52 */