1 /* SPDX-License-Identifier: GPL-2.0 */ 1
2
3 #ifndef __ASM_CSKY_PGALLOC_H
4 #define __ASM_CSKY_PGALLOC_H
5
6 #include <linux/highmem.h>
7 #include <linux/mm.h>
8 #include <linux/sched.h>
9
10 #define __HAVE_ARCH_PTE_ALLOC_ONE_KERNEL
11 #include <asm-generic/pgalloc.h>
12
13 static inline void pmd_populate_kernel(struct
14 pte_t
15 {
16 set_pmd(pmd, __pmd(__pa(pte)));
17 }
18
19 static inline void pmd_populate(struct mm_stru
20 pgtabl
21 {
22 set_pmd(pmd, __pmd(__pa(page_address(p
23 }
24
25 extern void pgd_init(unsigned long *p);
26
27 static inline pte_t *pte_alloc_one_kernel(stru
28 {
29 pte_t *pte;
30 unsigned long i;
31
32 pte = (pte_t *) __get_free_page(GFP_KE
33 if (!pte)
34 return NULL;
35
36 for (i = 0; i < PAGE_SIZE/sizeof(pte_t
37 (pte + i)->pte_low = _PAGE_GLO
38
39 return pte;
40 }
41
42 static inline pgd_t *pgd_alloc(struct mm_struc
43 {
44 pgd_t *ret;
45 pgd_t *init;
46
47 ret = (pgd_t *) __get_free_page(GFP_KE
48 if (ret) {
49 init = pgd_offset(&init_mm, 0U
50 pgd_init((unsigned long *)ret)
51 memcpy(ret + USER_PTRS_PER_PGD
52 (PTRS_PER_PGD - USER_P
53 /* prevent out of order excute
54 smp_mb();
55 #ifdef CONFIG_CPU_NEED_TLBSYNC
56 dcache_wb_range((unsigned int)
57 (unsigned int)
58 #endif
59 }
60
61 return ret;
62 }
63
64 #define __pte_free_tlb(tlb, pte, address)
65 do {
66 pagetable_pte_dtor(page_ptdesc(pte));
67 tlb_remove_page_ptdesc(tlb, page_ptdes
68 } while (0)
69
70 extern void pagetable_init(void);
71 extern void mmu_init(unsigned long min_pfn, un
72 extern void pre_trap_init(void);
73
74 #endif /* __ASM_CSKY_PGALLOC_H */
75
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.