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#include <linux/kernel.h>	/* For min/max macros */
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
22extern void __bad_pte(pmd_t *pmd);
23
24static inline pgd_t *get_pgd(void)
25{
26	return (pgd_t *)__get_free_pages(GFP_KERNEL|__GFP_ZERO, 0);
27}
28
29#define pgd_alloc(mm)		get_pgd()
30
31extern pte_t *pte_alloc_one_kernel(struct mm_struct *mm);
32
33#define __pte_free_tlb(tlb, pte, addr)	pte_free((tlb)->mm, (pte))
34
35#define pmd_populate(mm, pmd, pte) \
36			(pmd_val(*(pmd)) = (unsigned long)page_address(pte))
37
38#define pmd_populate_kernel(mm, pmd, pte) \
39		(pmd_val(*(pmd)) = (unsigned long) (pte))
40
41#endif /* _ASM_MICROBLAZE_PGALLOC_H */
42