3 * Copyright (C) 2008-2009 PetaLogix
4 * Copyright (C) 2006 Atmark Techno, Inc.
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
11 #ifndef _ASM_MICROBLAZE_PGALLOC_H
12 #define _ASM_MICROBLAZE_PGALLOC_H
16 #include <linux/kernel.h> /* For min/max macros */
17 #include <linux/highmem.h>
18 #include <asm/setup.h>
21 #include <asm/cache.h>
22 #include <asm/pgtable.h>
24 #define __HAVE_ARCH_PTE_ALLOC_ONE_KERNEL
25 #include <asm-generic/pgalloc.h>
27 extern void __bad_pte(pmd_t *pmd);
29 static inline pgd_t *get_pgd(void)
31 return (pgd_t *)__get_free_pages(GFP_KERNEL|__GFP_ZERO, 0);
34 static inline void free_pgd(pgd_t *pgd)
36 free_page((unsigned long)pgd);
39 #define pgd_free(mm, pgd) free_pgd(pgd)
40 #define pgd_alloc(mm) get_pgd()
42 #define pmd_pgtable(pmd) pmd_page(pmd)
44 extern pte_t *pte_alloc_one_kernel(struct mm_struct *mm);
46 #define __pte_free_tlb(tlb, pte, addr) pte_free((tlb)->mm, (pte))
48 #define pmd_populate(mm, pmd, pte) \
49 (pmd_val(*(pmd)) = (unsigned long)page_address(pte))
51 #define pmd_populate_kernel(mm, pmd, pte) \
52 (pmd_val(*(pmd)) = (unsigned long) (pte))
54 #endif /* CONFIG_MMU */
56 #endif /* _ASM_MICROBLAZE_PGALLOC_H */