2007-07-17 18:37:04 -07:00
|
|
|
#ifndef _XEN_MMU_H
|
|
|
|
|
|
|
|
#include <linux/linkage.h>
|
|
|
|
#include <asm/page.h>
|
|
|
|
|
2008-04-02 07:36:36 -07:00
|
|
|
enum pt_level {
|
|
|
|
PT_PGD,
|
|
|
|
PT_PUD,
|
|
|
|
PT_PMD,
|
|
|
|
PT_PTE
|
|
|
|
};
|
|
|
|
|
2007-07-17 18:37:06 -07:00
|
|
|
|
2009-02-26 16:48:33 -07:00
|
|
|
bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn);
|
|
|
|
|
2007-07-17 18:37:04 -07:00
|
|
|
void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags);
|
|
|
|
|
|
|
|
|
|
|
|
void xen_activate_mm(struct mm_struct *prev, struct mm_struct *next);
|
|
|
|
void xen_dup_mmap(struct mm_struct *oldmm, struct mm_struct *mm);
|
|
|
|
void xen_exit_mmap(struct mm_struct *mm);
|
|
|
|
|
2008-05-09 04:05:57 -07:00
|
|
|
pteval_t xen_pte_val(pte_t);
|
|
|
|
pmdval_t xen_pmd_val(pmd_t);
|
|
|
|
pgdval_t xen_pgd_val(pgd_t);
|
2007-07-17 18:37:04 -07:00
|
|
|
|
2008-05-09 04:05:57 -07:00
|
|
|
pte_t xen_make_pte(pteval_t);
|
|
|
|
pmd_t xen_make_pmd(pmdval_t);
|
|
|
|
pgd_t xen_make_pgd(pgdval_t);
|
2007-07-17 18:37:04 -07:00
|
|
|
|
2008-05-30 17:24:27 -07:00
|
|
|
void xen_set_pte(pte_t *ptep, pte_t pteval);
|
2007-07-17 18:37:04 -07:00
|
|
|
void xen_set_pte_at(struct mm_struct *mm, unsigned long addr,
|
|
|
|
pte_t *ptep, pte_t pteval);
|
2008-07-08 15:06:38 -07:00
|
|
|
|
|
|
|
#ifdef CONFIG_X86_PAE
|
2007-07-17 18:37:04 -07:00
|
|
|
void xen_set_pte_atomic(pte_t *ptep, pte_t pte);
|
2008-07-08 15:06:38 -07:00
|
|
|
void xen_pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep);
|
|
|
|
void xen_pmd_clear(pmd_t *pmdp);
|
|
|
|
#endif /* CONFIG_X86_PAE */
|
|
|
|
|
2008-05-30 17:24:27 -07:00
|
|
|
void xen_set_pmd(pmd_t *pmdp, pmd_t pmdval);
|
2007-07-17 18:37:04 -07:00
|
|
|
void xen_set_pud(pud_t *ptr, pud_t val);
|
2008-05-30 17:24:27 -07:00
|
|
|
void xen_set_pmd_hyper(pmd_t *pmdp, pmd_t pmdval);
|
|
|
|
void xen_set_pud_hyper(pud_t *ptr, pud_t val);
|
2008-07-08 15:06:38 -07:00
|
|
|
|
|
|
|
#if PAGETABLE_LEVELS == 4
|
|
|
|
pudval_t xen_pud_val(pud_t pud);
|
|
|
|
pud_t xen_make_pud(pudval_t pudval);
|
|
|
|
void xen_set_pgd(pgd_t *pgdp, pgd_t pgd);
|
|
|
|
void xen_set_pgd_hyper(pgd_t *pgdp, pgd_t pgd);
|
|
|
|
#endif
|
2007-07-17 18:37:04 -07:00
|
|
|
|
xen64: allocate and manage user pagetables
Because the x86_64 architecture does not enforce segment limits, Xen
cannot protect itself with them as it does in 32-bit mode. Therefore,
to protect itself, it runs the guest kernel in ring 3. Since it also
runs the guest userspace in ring3, the guest kernel must maintain a
second pagetable for its userspace, which does not map kernel space.
Naturally, the guest kernel pagetables map both kernel and userspace.
The userspace pagetable is attached to the corresponding kernel
pagetable via the pgd's page->private field. It is allocated and
freed at the same time as the kernel pgd via the
paravirt_pgd_alloc/free hooks.
Fortunately, the user pagetable is almost entirely shared with the
kernel pagetable; the only difference is the pgd page itself. set_pgd
will populate all entries in the kernel pagetable, and also set the
corresponding user pgd entry if the address is less than
STACK_TOP_MAX.
The user pagetable must be pinned and unpinned with the kernel one,
but because the pagetables are aliased, pgd_walk() only needs to be
called on the kernel pagetable. The user pgd page is then
pinned/unpinned along with the kernel pgd page.
xen_write_cr3 must write both the kernel and user cr3s.
The init_mm.pgd pagetable never has a user pagetable allocated for it,
because it can never be used while running usermode.
One awkward area is that early in boot the page structures are not
available. No user pagetable can exist at that point, but it
complicates the logic to avoid looking at the page structure.
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Cc: Stephen Tweedie <sct@redhat.com>
Cc: Eduardo Habkost <ehabkost@redhat.com>
Cc: Mark McLoughlin <markmc@redhat.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2008-07-08 15:07:13 -07:00
|
|
|
pgd_t *xen_get_user_pgd(pgd_t *pgd);
|
|
|
|
|
2008-06-16 04:30:02 -07:00
|
|
|
pte_t xen_ptep_modify_prot_start(struct mm_struct *mm, unsigned long addr, pte_t *ptep);
|
|
|
|
void xen_ptep_modify_prot_commit(struct mm_struct *mm, unsigned long addr,
|
|
|
|
pte_t *ptep, pte_t pte);
|
|
|
|
|
2009-01-28 15:35:01 -07:00
|
|
|
unsigned long xen_read_cr2_direct(void);
|
|
|
|
|
2009-08-20 05:30:02 -07:00
|
|
|
extern void xen_init_mmu_ops(void);
|
2010-06-17 06:22:52 -07:00
|
|
|
extern void xen_hvm_init_mmu_ops(void);
|
2007-07-17 18:37:04 -07:00
|
|
|
#endif /* _XEN_MMU_H */
|