| /* SPDX-License-Identifier: GPL-2.0 */ |
| /* |
| * Copyright (C) 2008-2009 Michal Simek <monstr@monstr.eu> |
| * Copyright (C) 2008-2009 PetaLogix |
| * Copyright (C) 2006 Atmark Techno, Inc. |
| */ |
| |
| #ifndef _ASM_MICROBLAZE_PGALLOC_H |
| #define _ASM_MICROBLAZE_PGALLOC_H |
| |
| #ifdef CONFIG_MMU |
| |
| #include <linux/kernel.h> /* For min/max macros */ |
| #include <linux/highmem.h> |
| #include <linux/pgtable.h> |
| #include <asm/setup.h> |
| #include <asm/io.h> |
| #include <asm/page.h> |
| #include <asm/cache.h> |
| |
| #define __HAVE_ARCH_PTE_ALLOC_ONE_KERNEL |
| #include <asm-generic/pgalloc.h> |
| |
| extern void __bad_pte(pmd_t *pmd); |
| |
| static inline pgd_t *get_pgd(void) |
| { |
| return (pgd_t *)__get_free_pages(GFP_KERNEL|__GFP_ZERO, 0); |
| } |
| |
| #define pgd_alloc(mm) get_pgd() |
| |
| #define pmd_pgtable(pmd) pmd_page(pmd) |
| |
| extern pte_t *pte_alloc_one_kernel(struct mm_struct *mm); |
| |
| #define __pte_free_tlb(tlb, pte, addr) pte_free((tlb)->mm, (pte)) |
| |
| #define pmd_populate(mm, pmd, pte) \ |
| (pmd_val(*(pmd)) = (unsigned long)page_address(pte)) |
| |
| #define pmd_populate_kernel(mm, pmd, pte) \ |
| (pmd_val(*(pmd)) = (unsigned long) (pte)) |
| |
| #endif /* CONFIG_MMU */ |
| |
| #endif /* _ASM_MICROBLAZE_PGALLOC_H */ |
