]>
Commit | Line | Data |
---|---|---|
3b827c1b JF |
1 | #ifndef _XEN_MMU_H |
2 | ||
3 | #include <linux/linkage.h> | |
4 | #include <asm/page.h> | |
5 | ||
f6433706 MM |
6 | enum pt_level { |
7 | PT_PGD, | |
907cd439 | 8 | PT_P4D, |
f6433706 MM |
9 | PT_PUD, |
10 | PT_PMD, | |
11 | PT_PTE | |
12 | }; | |
13 | ||
f87e4cac | 14 | |
e791ca0f | 15 | bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn); |
e791ca0f | 16 | |
3b827c1b JF |
17 | void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags); |
18 | ||
e57778a1 JF |
19 | pte_t xen_ptep_modify_prot_start(struct mm_struct *mm, unsigned long addr, pte_t *ptep); |
20 | void xen_ptep_modify_prot_commit(struct mm_struct *mm, unsigned long addr, | |
21 | pte_t *ptep, pte_t pte); | |
22 | ||
319f3ba5 JF |
23 | unsigned long xen_read_cr2_direct(void); |
24 | ||
030cb6c0 | 25 | extern void xen_init_mmu_ops(void); |
59151001 | 26 | extern void xen_hvm_init_mmu_ops(void); |
3b827c1b | 27 | #endif /* _XEN_MMU_H */ |