^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) /* SPDX-License-Identifier: GPL-2.0 */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) #ifndef _XEN_MMU_H
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) #include <linux/linkage.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) #include <asm/page.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) enum pt_level {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) PT_PGD,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) PT_P4D,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) PT_PUD,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) PT_PMD,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) PT_PTE
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) };
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) pte_t xen_ptep_modify_prot_start(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) void xen_ptep_modify_prot_commit(struct vm_area_struct *vma, unsigned long addr,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22) pte_t *ptep, pte_t pte);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) unsigned long xen_read_cr2_direct(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26) extern void xen_init_mmu_ops(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27) extern void xen_hvm_init_mmu_ops(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) #endif /* _XEN_MMU_H */