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