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 | |
Mark McLoughlin | f643370 | 2008-04-02 15:36:36 +0100 | [diff] [blame] | 6 | enum pt_level { |
| 7 | PT_PGD, |
| 8 | PT_PUD, |
| 9 | PT_PMD, |
| 10 | PT_PTE |
| 11 | }; |
| 12 | |
Jeremy Fitzhardinge | f87e4ca | 2007-07-17 18:37:06 -0700 | [diff] [blame] | 13 | |
Jeremy Fitzhardinge | e791ca0 | 2009-02-26 15:48:33 -0800 | [diff] [blame] | 14 | bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn); |
Jeremy Fitzhardinge | e791ca0 | 2009-02-26 15:48:33 -0800 | [diff] [blame] | 15 | |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 16 | void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags); |
| 17 | |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 18 | |
| 19 | void xen_activate_mm(struct mm_struct *prev, struct mm_struct *next); |
| 20 | void xen_dup_mmap(struct mm_struct *oldmm, struct mm_struct *mm); |
| 21 | void xen_exit_mmap(struct mm_struct *mm); |
| 22 | |
Jeremy Fitzhardinge | 3843fc2 | 2008-05-09 12:05:57 +0100 | [diff] [blame] | 23 | pteval_t xen_pte_val(pte_t); |
| 24 | pmdval_t xen_pmd_val(pmd_t); |
| 25 | pgdval_t xen_pgd_val(pgd_t); |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 26 | |
Jeremy Fitzhardinge | 3843fc2 | 2008-05-09 12:05:57 +0100 | [diff] [blame] | 27 | pte_t xen_make_pte(pteval_t); |
| 28 | pmd_t xen_make_pmd(pmdval_t); |
| 29 | pgd_t xen_make_pgd(pgdval_t); |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 30 | |
Jeremy Fitzhardinge | e2426cf | 2008-05-31 01:24:27 +0100 | [diff] [blame] | 31 | void xen_set_pte(pte_t *ptep, pte_t pteval); |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 32 | void xen_set_pte_at(struct mm_struct *mm, unsigned long addr, |
| 33 | pte_t *ptep, pte_t pteval); |
Jeremy Fitzhardinge | f6e5873 | 2008-07-08 15:06:38 -0700 | [diff] [blame] | 34 | |
| 35 | #ifdef CONFIG_X86_PAE |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 36 | void xen_set_pte_atomic(pte_t *ptep, pte_t pte); |
Jeremy Fitzhardinge | f6e5873 | 2008-07-08 15:06:38 -0700 | [diff] [blame] | 37 | void xen_pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep); |
| 38 | void xen_pmd_clear(pmd_t *pmdp); |
| 39 | #endif /* CONFIG_X86_PAE */ |
| 40 | |
Jeremy Fitzhardinge | e2426cf | 2008-05-31 01:24:27 +0100 | [diff] [blame] | 41 | void xen_set_pmd(pmd_t *pmdp, pmd_t pmdval); |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 42 | void xen_set_pud(pud_t *ptr, pud_t val); |
Jeremy Fitzhardinge | e2426cf | 2008-05-31 01:24:27 +0100 | [diff] [blame] | 43 | void xen_set_pmd_hyper(pmd_t *pmdp, pmd_t pmdval); |
| 44 | void xen_set_pud_hyper(pud_t *ptr, pud_t val); |
Jeremy Fitzhardinge | f6e5873 | 2008-07-08 15:06:38 -0700 | [diff] [blame] | 45 | |
| 46 | #if PAGETABLE_LEVELS == 4 |
| 47 | pudval_t xen_pud_val(pud_t pud); |
| 48 | pud_t xen_make_pud(pudval_t pudval); |
| 49 | void xen_set_pgd(pgd_t *pgdp, pgd_t pgd); |
| 50 | void xen_set_pgd_hyper(pgd_t *pgdp, pgd_t pgd); |
| 51 | #endif |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 52 | |
Jeremy Fitzhardinge | d6182fb | 2008-07-08 15:07:13 -0700 | [diff] [blame] | 53 | pgd_t *xen_get_user_pgd(pgd_t *pgd); |
| 54 | |
Jeremy Fitzhardinge | e57778a | 2008-06-16 04:30:02 -0700 | [diff] [blame] | 55 | pte_t xen_ptep_modify_prot_start(struct mm_struct *mm, unsigned long addr, pte_t *ptep); |
| 56 | void xen_ptep_modify_prot_commit(struct mm_struct *mm, unsigned long addr, |
| 57 | pte_t *ptep, pte_t pte); |
| 58 | |
Jeremy Fitzhardinge | 319f3ba | 2009-01-28 14:35:01 -0800 | [diff] [blame] | 59 | unsigned long xen_read_cr2_direct(void); |
| 60 | |
Thomas Gleixner | 030cb6c | 2009-08-20 14:30:02 +0200 | [diff] [blame] | 61 | extern void xen_init_mmu_ops(void); |
Stefano Stabellini | 5915100 | 2010-06-17 14:22:52 +0100 | [diff] [blame] | 62 | extern void xen_hvm_init_mmu_ops(void); |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 63 | #endif /* _XEN_MMU_H */ |