71 lines
1.8 KiB
C
71 lines
1.8 KiB
C
#ifndef _I386_PGALLOC_H
|
|
#define _I386_PGALLOC_H
|
|
|
|
#include <linux/threads.h>
|
|
#include <linux/mm.h> /* for struct page */
|
|
|
|
#ifdef CONFIG_PARAVIRT
|
|
#include <asm/paravirt.h>
|
|
#else
|
|
#define paravirt_alloc_pt(pfn) do { } while (0)
|
|
#define paravirt_alloc_pd(pfn) do { } while (0)
|
|
#define paravirt_alloc_pd(pfn) do { } while (0)
|
|
#define paravirt_alloc_pd_clone(pfn, clonepfn, start, count) do { } while (0)
|
|
#define paravirt_release_pt(pfn) do { } while (0)
|
|
#define paravirt_release_pd(pfn) do { } while (0)
|
|
#endif
|
|
|
|
#define pmd_populate_kernel(mm, pmd, pte) \
|
|
do { \
|
|
paravirt_alloc_pt(__pa(pte) >> PAGE_SHIFT); \
|
|
set_pmd(pmd, __pmd(_PAGE_TABLE + __pa(pte))); \
|
|
} while (0)
|
|
|
|
#define pmd_populate(mm, pmd, pte) \
|
|
do { \
|
|
paravirt_alloc_pt(page_to_pfn(pte)); \
|
|
set_pmd(pmd, __pmd(_PAGE_TABLE + \
|
|
((unsigned long long)page_to_pfn(pte) << \
|
|
(unsigned long long) PAGE_SHIFT))); \
|
|
} while (0)
|
|
|
|
/*
|
|
* Allocate and free page tables.
|
|
*/
|
|
extern pgd_t *pgd_alloc(struct mm_struct *);
|
|
extern void pgd_free(pgd_t *pgd);
|
|
|
|
extern pte_t *pte_alloc_one_kernel(struct mm_struct *, unsigned long);
|
|
extern struct page *pte_alloc_one(struct mm_struct *, unsigned long);
|
|
|
|
static inline void pte_free_kernel(pte_t *pte)
|
|
{
|
|
free_page((unsigned long)pte);
|
|
}
|
|
|
|
static inline void pte_free(struct page *pte)
|
|
{
|
|
__free_page(pte);
|
|
}
|
|
|
|
|
|
#define __pte_free_tlb(tlb,pte) \
|
|
do { \
|
|
paravirt_release_pt(page_to_pfn(pte)); \
|
|
tlb_remove_page((tlb),(pte)); \
|
|
} while (0)
|
|
|
|
#ifdef CONFIG_X86_PAE
|
|
/*
|
|
* In the PAE case we free the pmds as part of the pgd.
|
|
*/
|
|
#define pmd_alloc_one(mm, addr) ({ BUG(); ((pmd_t *)2); })
|
|
#define pmd_free(x) do { } while (0)
|
|
#define __pmd_free_tlb(tlb,x) do { } while (0)
|
|
#define pud_populate(mm, pmd, pte) BUG()
|
|
#endif
|
|
|
|
#define check_pgt_cache() do { } while (0)
|
|
|
|
#endif /* _I386_PGALLOC_H */
|