1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (C) 2005-2017 Andes Technology Corporation
4 #ifndef _ASMNDS32_PGALLOC_H
5 #define _ASMNDS32_PGALLOC_H
7 #include <asm/processor.h>
8 #include <asm/cacheflush.h>
9 #include <asm/tlbflush.h>
10 #include <asm/proc-fns.h>
13 * Since we have only two-level page tables, these are trivial
15 #define pmd_alloc_one(mm, addr) ({ BUG(); ((pmd_t *)2); })
16 #define pmd_free(mm, pmd) do { } while (0)
17 #define pgd_populate(mm, pmd, pte) BUG()
18 #define pmd_pgtable(pmd) pmd_page(pmd)
20 extern pgd_t *pgd_alloc(struct mm_struct *mm);
21 extern void pgd_free(struct mm_struct *mm, pgd_t * pgd);
23 #define check_pgt_cache() do { } while (0)
25 static inline pte_t *pte_alloc_one_kernel(struct mm_struct *mm,
31 (pte_t *) __get_free_page(GFP_KERNEL | __GFP_RETRY_MAYFAIL |
37 static inline pgtable_t pte_alloc_one(struct mm_struct *mm, unsigned long addr)
41 pte = alloc_pages(GFP_KERNEL | __GFP_RETRY_MAYFAIL | __GFP_ZERO, 0);
43 cpu_dcache_wb_page((unsigned long)page_address(pte));
51 static inline void pte_free_kernel(struct mm_struct *mm, pte_t * pte)
54 free_page((unsigned long)pte);
58 static inline void pte_free(struct mm_struct *mm, pgtable_t pte)
64 * Populate the pmdp entry with a pointer to the pte. This pmd is part
65 * of the mm address space.
67 * Ensure that we always set both PMD entries.
70 pmd_populate_kernel(struct mm_struct *mm, pmd_t * pmdp, pte_t * ptep)
72 unsigned long pte_ptr = (unsigned long)ptep;
75 BUG_ON(mm != &init_mm);
78 * The pmd must be loaded with the physical
79 * address of the PTE table
81 pmdval = __pa(pte_ptr) | _PAGE_KERNEL_TABLE;
82 set_pmd(pmdp, __pmd(pmdval));
86 pmd_populate(struct mm_struct *mm, pmd_t * pmdp, pgtable_t ptep)
90 BUG_ON(mm == &init_mm);
92 pmdval = page_to_pfn(ptep) << PAGE_SHIFT | _PAGE_USER_TABLE;
93 set_pmd(pmdp, __pmd(pmdval));