| 1 | #ifndef _XEN_MMU_H |
| 2 | |
| 3 | #include <linux/linkage.h> |
| 4 | #include <asm/page.h> |
| 5 | |
| 6 | enum pt_level { |
| 7 | PT_PGD, |
| 8 | PT_PUD, |
| 9 | PT_PMD, |
| 10 | PT_PTE |
| 11 | }; |
| 12 | |
| 13 | |
| 14 | bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn); |
| 15 | |
| 16 | void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags); |
| 17 | |
| 18 | pte_t xen_ptep_modify_prot_start(struct mm_struct *mm, unsigned long addr, pte_t *ptep); |
| 19 | void xen_ptep_modify_prot_commit(struct mm_struct *mm, unsigned long addr, |
| 20 | pte_t *ptep, pte_t pte); |
| 21 | |
| 22 | unsigned long xen_read_cr2_direct(void); |
| 23 | |
| 24 | extern void xen_init_mmu_ops(void); |
| 25 | extern void xen_hvm_init_mmu_ops(void); |
| 26 | #endif /* _XEN_MMU_H */ |