1 /*
2  * Copyright (C) 2008-2009 Michal Simek <monstr@monstr.eu>
3  * Copyright (C) 2008-2009 PetaLogix
4  * Copyright (C) 2006 Atmark Techno, Inc.
5  *
6  * This file is subject to the terms and conditions of the GNU General Public
7  * License. See the file "COPYING" in the main directory of this archive
8  * for more details.
9  */
10 
11 #ifndef _ASM_MICROBLAZE_PGALLOC_H
12 #define _ASM_MICROBLAZE_PGALLOC_H
13 
14 #ifdef CONFIG_MMU
15 
16 #include <linux/kernel.h>	/* For min/max macros */
17 #include <linux/highmem.h>
18 #include <asm/setup.h>
19 #include <asm/io.h>
20 #include <asm/page.h>
21 #include <asm/cache.h>
22 #include <asm/pgtable.h>
23 
24 #define __HAVE_ARCH_PTE_ALLOC_ONE_KERNEL
25 #include <asm-generic/pgalloc.h>
26 
27 extern void __bad_pte(pmd_t *pmd);
28 
29 static inline pgd_t *get_pgd(void)
30 {
31 	return (pgd_t *)__get_free_pages(GFP_KERNEL|__GFP_ZERO, 0);
32 }
33 
34 static inline void free_pgd(pgd_t *pgd)
35 {
36 	free_page((unsigned long)pgd);
37 }
38 
39 #define pgd_free(mm, pgd)	free_pgd(pgd)
40 #define pgd_alloc(mm)		get_pgd()
41 
42 #define pmd_pgtable(pmd)	pmd_page(pmd)
43 
44 extern pte_t *pte_alloc_one_kernel(struct mm_struct *mm);
45 
46 #define __pte_free_tlb(tlb, pte, addr)	pte_free((tlb)->mm, (pte))
47 
48 #define pmd_populate(mm, pmd, pte) \
49 			(pmd_val(*(pmd)) = (unsigned long)page_address(pte))
50 
51 #define pmd_populate_kernel(mm, pmd, pte) \
52 		(pmd_val(*(pmd)) = (unsigned long) (pte))
53 
54 #endif /* CONFIG_MMU */
55 
56 #endif /* _ASM_MICROBLAZE_PGALLOC_H */
57