|
@@ -200,6 +200,9 @@ void output_mm_defines(void)
|
|
DEFINE(_PTRS_PER_PMD, PTRS_PER_PMD);
|
|
DEFINE(_PTRS_PER_PMD, PTRS_PER_PMD);
|
|
DEFINE(_PTRS_PER_PTE, PTRS_PER_PTE);
|
|
DEFINE(_PTRS_PER_PTE, PTRS_PER_PTE);
|
|
BLANK();
|
|
BLANK();
|
|
|
|
+ DEFINE(_PAGE_SHIFT, PAGE_SHIFT);
|
|
|
|
+ DEFINE(_PAGE_SIZE, PAGE_SIZE);
|
|
|
|
+ BLANK();
|
|
}
|
|
}
|
|
|
|
|
|
#ifdef CONFIG_32BIT
|
|
#ifdef CONFIG_32BIT
|