|
@@ -26,7 +26,7 @@ static inline pgd_t *pgd_alloc(struct mm_struct *mm)
|
|
|
|
|
|
if (likely(pgd != NULL)) {
|
|
|
memset(pgd, 0, PAGE_SIZE<<PGD_ALLOC_ORDER);
|
|
|
-#if PT_NLEVELS == 3
|
|
|
+#if CONFIG_PGTABLE_LEVELS == 3
|
|
|
actual_pgd += PTRS_PER_PGD;
|
|
|
/* Populate first pmd with allocated memory. We mark it
|
|
|
* with PxD_FLAG_ATTACHED as a signal to the system that this
|
|
@@ -45,7 +45,7 @@ static inline pgd_t *pgd_alloc(struct mm_struct *mm)
|
|
|
|
|
|
static inline void pgd_free(struct mm_struct *mm, pgd_t *pgd)
|
|
|
{
|
|
|
-#if PT_NLEVELS == 3
|
|
|
+#if CONFIG_PGTABLE_LEVELS == 3
|
|
|
pgd -= PTRS_PER_PGD;
|
|
|
#endif
|
|
|
free_pages((unsigned long)pgd, PGD_ALLOC_ORDER);
|
|
@@ -102,7 +102,7 @@ static inline void pmd_free(struct mm_struct *mm, pmd_t *pmd)
|
|
|
static inline void
|
|
|
pmd_populate_kernel(struct mm_struct *mm, pmd_t *pmd, pte_t *pte)
|
|
|
{
|
|
|
-#if PT_NLEVELS == 3
|
|
|
+#if CONFIG_PGTABLE_LEVELS == 3
|
|
|
/* preserve the gateway marker if this is the beginning of
|
|
|
* the permanent pmd */
|
|
|
if(pmd_flag(*pmd) & PxD_FLAG_ATTACHED)
|