1 /* SPDX-License-Identifier: GPL-2.0 */ 1
2 /*
3 * Copyright (C) 2008-2009 Michal Simek <monst
4 * Copyright (C) 2008-2009 PetaLogix
5 * Copyright (C) 2006 Atmark Techno, Inc.
6 */
7
8 #ifndef _ASM_MICROBLAZE_PGALLOC_H
9 #define _ASM_MICROBLAZE_PGALLOC_H
10
11 #include <linux/kernel.h> /* For min/max
12 #include <linux/highmem.h>
13 #include <linux/pgtable.h>
14 #include <asm/setup.h>
15 #include <asm/io.h>
16 #include <asm/page.h>
17 #include <asm/cache.h>
18
19 #define __HAVE_ARCH_PTE_ALLOC_ONE_KERNEL
20 #include <asm-generic/pgalloc.h>
21
22 extern void __bad_pte(pmd_t *pmd);
23
24 static inline pgd_t *get_pgd(void)
25 {
26 return (pgd_t *)__get_free_pages(GFP_K
27 }
28
29 #define pgd_alloc(mm) get_pgd()
30
31 extern pte_t *pte_alloc_one_kernel(struct mm_s
32
33 #define __pte_free_tlb(tlb, pte, addr) pte_fr
34
35 #define pmd_populate(mm, pmd, pte) \
36 (pmd_val(*(pmd)) = (un
37
38 #define pmd_populate_kernel(mm, pmd, pte) \
39 (pmd_val(*(pmd)) = (unsigned l
40
41 #endif /* _ASM_MICROBLAZE_PGALLOC_H */
42
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.