19702785aSThomas Gleixner #ifndef _XEN_MMU_H 29702785aSThomas Gleixner 39702785aSThomas Gleixner #include <linux/linkage.h> 49702785aSThomas Gleixner #include <asm/page.h> 59702785aSThomas Gleixner 6f6433706SMark McLoughlin enum pt_level { 7f6433706SMark McLoughlin PT_PGD, 8f6433706SMark McLoughlin PT_PUD, 9f6433706SMark McLoughlin PT_PMD, 10f6433706SMark McLoughlin PT_PTE 11f6433706SMark McLoughlin }; 12f6433706SMark McLoughlin 139702785aSThomas Gleixner 14e791ca0fSJeremy Fitzhardinge bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn); 15e791ca0fSJeremy Fitzhardinge bool install_p2mtop_page(unsigned long pfn, unsigned long *p); 16e791ca0fSJeremy Fitzhardinge 179702785aSThomas Gleixner void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags); 189702785aSThomas Gleixner 199702785aSThomas Gleixner 209702785aSThomas Gleixner void xen_activate_mm(struct mm_struct *prev, struct mm_struct *next); 219702785aSThomas Gleixner void xen_dup_mmap(struct mm_struct *oldmm, struct mm_struct *mm); 229702785aSThomas Gleixner void xen_exit_mmap(struct mm_struct *mm); 239702785aSThomas Gleixner 243843fc25SJeremy Fitzhardinge pteval_t xen_pte_val(pte_t); 253843fc25SJeremy Fitzhardinge pmdval_t xen_pmd_val(pmd_t); 263843fc25SJeremy Fitzhardinge pgdval_t xen_pgd_val(pgd_t); 279702785aSThomas Gleixner 283843fc25SJeremy Fitzhardinge pte_t xen_make_pte(pteval_t); 293843fc25SJeremy Fitzhardinge pmd_t xen_make_pmd(pmdval_t); 303843fc25SJeremy Fitzhardinge pgd_t xen_make_pgd(pgdval_t); 319702785aSThomas Gleixner 32e2426cf8SJeremy Fitzhardinge void xen_set_pte(pte_t *ptep, pte_t pteval); 339702785aSThomas Gleixner void xen_set_pte_at(struct mm_struct *mm, unsigned long addr, 349702785aSThomas Gleixner pte_t *ptep, pte_t pteval); 35f6e58732SJeremy Fitzhardinge 36f6e58732SJeremy Fitzhardinge #ifdef CONFIG_X86_PAE 379702785aSThomas Gleixner void xen_set_pte_atomic(pte_t *ptep, pte_t pte); 38f6e58732SJeremy Fitzhardinge void xen_pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep); 39f6e58732SJeremy Fitzhardinge void xen_pmd_clear(pmd_t *pmdp); 40f6e58732SJeremy Fitzhardinge #endif /* CONFIG_X86_PAE */ 41f6e58732SJeremy Fitzhardinge 42e2426cf8SJeremy Fitzhardinge void xen_set_pmd(pmd_t *pmdp, pmd_t pmdval); 439702785aSThomas Gleixner void xen_set_pud(pud_t *ptr, pud_t val); 44e2426cf8SJeremy Fitzhardinge void xen_set_pmd_hyper(pmd_t *pmdp, pmd_t pmdval); 45e2426cf8SJeremy Fitzhardinge void xen_set_pud_hyper(pud_t *ptr, pud_t val); 46f6e58732SJeremy Fitzhardinge 47f6e58732SJeremy Fitzhardinge #if PAGETABLE_LEVELS == 4 48f6e58732SJeremy Fitzhardinge pudval_t xen_pud_val(pud_t pud); 49f6e58732SJeremy Fitzhardinge pud_t xen_make_pud(pudval_t pudval); 50f6e58732SJeremy Fitzhardinge void xen_set_pgd(pgd_t *pgdp, pgd_t pgd); 51f6e58732SJeremy Fitzhardinge void xen_set_pgd_hyper(pgd_t *pgdp, pgd_t pgd); 52f6e58732SJeremy Fitzhardinge #endif 539702785aSThomas Gleixner 54d6182fbfSJeremy Fitzhardinge pgd_t *xen_get_user_pgd(pgd_t *pgd); 55d6182fbfSJeremy Fitzhardinge 56e57778a1SJeremy Fitzhardinge pte_t xen_ptep_modify_prot_start(struct mm_struct *mm, unsigned long addr, pte_t *ptep); 57e57778a1SJeremy Fitzhardinge void xen_ptep_modify_prot_commit(struct mm_struct *mm, unsigned long addr, 58e57778a1SJeremy Fitzhardinge pte_t *ptep, pte_t pte); 59e57778a1SJeremy Fitzhardinge 60319f3ba5SJeremy Fitzhardinge unsigned long xen_read_cr2_direct(void); 61319f3ba5SJeremy Fitzhardinge 62030cb6c0SThomas Gleixner extern void xen_init_mmu_ops(void); 639702785aSThomas Gleixner #endif /* _XEN_MMU_H */ 64