1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Copyright (C) 2008-2009 Michal Simek <monstr@monstr.eu>
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 #ifdef CONFIG_MMU
12 
13 #include <linux/kernel.h>	/* For min/max macros */
14 #include <linux/highmem.h>
15 #include <linux/pgtable.h>
16 #include <asm/setup.h>
17 #include <asm/io.h>
18 #include <asm/page.h>
19 #include <asm/cache.h>
20 
21 #define __HAVE_ARCH_PTE_ALLOC_ONE_KERNEL
22 #include <asm-generic/pgalloc.h>
23 
24 extern void __bad_pte(pmd_t *pmd);
25 
26 static inline pgd_t *get_pgd(void)
27 {
28 	return (pgd_t *)__get_free_pages(GFP_KERNEL|__GFP_ZERO, 0);
29 }
30 
31 #define pgd_alloc(mm)		get_pgd()
32 
33 #define pmd_pgtable(pmd)	pmd_page(pmd)
34 
35 extern pte_t *pte_alloc_one_kernel(struct mm_struct *mm);
36 
37 #define __pte_free_tlb(tlb, pte, addr)	pte_free((tlb)->mm, (pte))
38 
39 #define pmd_populate(mm, pmd, pte) \
40 			(pmd_val(*(pmd)) = (unsigned long)page_address(pte))
41 
42 #define pmd_populate_kernel(mm, pmd, pte) \
43 		(pmd_val(*(pmd)) = (unsigned long) (pte))
44 
45 #endif /* CONFIG_MMU */
46 
47 #endif /* _ASM_MICROBLAZE_PGALLOC_H */
48