2007-07-18 09:37:04 +08:00
|
|
|
#ifndef _XEN_MMU_H
|
|
|
|
|
|
|
|
#include <linux/linkage.h>
|
|
|
|
#include <asm/page.h>
|
|
|
|
|
|
|
|
void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags);
|
|
|
|
|
|
|
|
void xen_set_pte(pte_t *ptep, pte_t pteval);
|
|
|
|
void xen_set_pte_at(struct mm_struct *mm, unsigned long addr,
|
|
|
|
pte_t *ptep, pte_t pteval);
|
|
|
|
void xen_set_pmd(pmd_t *pmdp, pmd_t pmdval);
|
|
|
|
|
|
|
|
void xen_activate_mm(struct mm_struct *prev, struct mm_struct *next);
|
|
|
|
void xen_dup_mmap(struct mm_struct *oldmm, struct mm_struct *mm);
|
|
|
|
void xen_exit_mmap(struct mm_struct *mm);
|
|
|
|
|
|
|
|
void xen_pgd_pin(pgd_t *pgd);
|
2007-07-18 09:37:05 +08:00
|
|
|
//void xen_pgd_unpin(pgd_t *pgd);
|
2007-07-18 09:37:04 +08:00
|
|
|
|
|
|
|
#ifdef CONFIG_X86_PAE
|
|
|
|
unsigned long long xen_pte_val(pte_t);
|
|
|
|
unsigned long long xen_pmd_val(pmd_t);
|
|
|
|
unsigned long long xen_pgd_val(pgd_t);
|
|
|
|
|
|
|
|
pte_t xen_make_pte(unsigned long long);
|
|
|
|
pmd_t xen_make_pmd(unsigned long long);
|
|
|
|
pgd_t xen_make_pgd(unsigned long long);
|
|
|
|
|
|
|
|
void xen_set_pte_at(struct mm_struct *mm, unsigned long addr,
|
|
|
|
pte_t *ptep, pte_t pteval);
|
|
|
|
void xen_set_pte_atomic(pte_t *ptep, pte_t pte);
|
|
|
|
void xen_set_pud(pud_t *ptr, pud_t val);
|
|
|
|
void xen_pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep);
|
|
|
|
void xen_pmd_clear(pmd_t *pmdp);
|
|
|
|
|
|
|
|
|
|
|
|
#else
|
|
|
|
unsigned long xen_pte_val(pte_t);
|
|
|
|
unsigned long xen_pmd_val(pmd_t);
|
|
|
|
unsigned long xen_pgd_val(pgd_t);
|
|
|
|
|
|
|
|
pte_t xen_make_pte(unsigned long);
|
|
|
|
pmd_t xen_make_pmd(unsigned long);
|
|
|
|
pgd_t xen_make_pgd(unsigned long);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif /* _XEN_MMU_H */
|