]> git.proxmox.com Git - mirror_ubuntu-kernels.git/blame - arch/x86/xen/mmu.h
License cleanup: add SPDX GPL-2.0 license identifier to files with no license
[mirror_ubuntu-kernels.git] / arch / x86 / xen / mmu.h
CommitLineData
b2441318 1/* SPDX-License-Identifier: GPL-2.0 */
3b827c1b
JF
2#ifndef _XEN_MMU_H
3
4#include <linux/linkage.h>
5#include <asm/page.h>
6
f6433706
MM
7enum pt_level {
8 PT_PGD,
907cd439 9 PT_P4D,
f6433706
MM
10 PT_PUD,
11 PT_PMD,
12 PT_PTE
13};
14
f87e4cac 15
e791ca0f 16bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn);
e791ca0f 17
3b827c1b
JF
18void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags);
19
e57778a1
JF
20pte_t xen_ptep_modify_prot_start(struct mm_struct *mm, unsigned long addr, pte_t *ptep);
21void xen_ptep_modify_prot_commit(struct mm_struct *mm, unsigned long addr,
22 pte_t *ptep, pte_t pte);
23
319f3ba5
JF
24unsigned long xen_read_cr2_direct(void);
25
030cb6c0 26extern void xen_init_mmu_ops(void);
59151001 27extern void xen_hvm_init_mmu_ops(void);
3b827c1b 28#endif /* _XEN_MMU_H */