| Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame^] | 1 | #ifndef _XEN_MMU_H |
| 2 | |
| 3 | #include <linux/linkage.h> |
| 4 | #include <asm/page.h> |
| 5 | |
| 6 | void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags); |
| 7 | |
| 8 | void xen_set_pte(pte_t *ptep, pte_t pteval); |
| 9 | void xen_set_pte_at(struct mm_struct *mm, unsigned long addr, |
| 10 | pte_t *ptep, pte_t pteval); |
| 11 | void xen_set_pmd(pmd_t *pmdp, pmd_t pmdval); |
| 12 | |
| 13 | void xen_activate_mm(struct mm_struct *prev, struct mm_struct *next); |
| 14 | void xen_dup_mmap(struct mm_struct *oldmm, struct mm_struct *mm); |
| 15 | void xen_exit_mmap(struct mm_struct *mm); |
| 16 | |
| 17 | void xen_pgd_pin(pgd_t *pgd); |
| 18 | void xen_pgd_unpin(pgd_t *pgd); |
| 19 | |
| 20 | #ifdef CONFIG_X86_PAE |
| 21 | unsigned long long xen_pte_val(pte_t); |
| 22 | unsigned long long xen_pmd_val(pmd_t); |
| 23 | unsigned long long xen_pgd_val(pgd_t); |
| 24 | |
| 25 | pte_t xen_make_pte(unsigned long long); |
| 26 | pmd_t xen_make_pmd(unsigned long long); |
| 27 | pgd_t xen_make_pgd(unsigned long long); |
| 28 | |
| 29 | void xen_set_pte_at(struct mm_struct *mm, unsigned long addr, |
| 30 | pte_t *ptep, pte_t pteval); |
| 31 | void xen_set_pte_atomic(pte_t *ptep, pte_t pte); |
| 32 | void xen_set_pud(pud_t *ptr, pud_t val); |
| 33 | void xen_pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep); |
| 34 | void xen_pmd_clear(pmd_t *pmdp); |
| 35 | |
| 36 | |
| 37 | #else |
| 38 | unsigned long xen_pte_val(pte_t); |
| 39 | unsigned long xen_pmd_val(pmd_t); |
| 40 | unsigned long xen_pgd_val(pgd_t); |
| 41 | |
| 42 | pte_t xen_make_pte(unsigned long); |
| 43 | pmd_t xen_make_pmd(unsigned long); |
| 44 | pgd_t xen_make_pgd(unsigned long); |
| 45 | #endif |
| 46 | |
| 47 | #endif /* _XEN_MMU_H */ |