arch/x86/xen/mmu.h

   1 #ifndef _XEN_MMU_H
   2
   3 #include <linux/linkage.h>
   4 #include <asm/page.h>
   5
   6 /*
   7  * Page-directory addresses above 4GB do not fit into architectural %cr3.
   8  * When accessing %cr3, or equivalent field in vcpu_guest_context, guests
   9  * must use the following accessor macros to pack/unpack valid MFNs.
  10  *
  11  * Note that Xen is using the fact that the pagetable base is always
  12  * page-aligned, and putting the 12 MSB of the address into the 12 LSB
  13  * of cr3.
  14  */
  15 #define xen_pfn_to_cr3(pfn) (((unsigned)(pfn) << 12) | ((unsigned)(pfn) >> 20))
  16 #define xen_cr3_to_pfn(cr3) (((unsigned)(cr3) >> 12) | ((unsigned)(cr3) << 20))
  17
  18
  19 void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags);
  20
  21 void xen_set_pte(pte_t *ptep, pte_t pteval);
  22 void xen_set_pte_at(struct mm_struct *mm, unsigned long addr,
  23                     pte_t *ptep, pte_t pteval);
  24 void xen_set_pmd(pmd_t *pmdp, pmd_t pmdval);
  25
  26 void xen_activate_mm(struct mm_struct *prev, struct mm_struct *next);
  27 void xen_dup_mmap(struct mm_struct *oldmm, struct mm_struct *mm);
  28 void xen_exit_mmap(struct mm_struct *mm);
  29
  30 void xen_pgd_pin(pgd_t *pgd);
  31 //void xen_pgd_unpin(pgd_t *pgd);
  32
  33 #ifdef CONFIG_X86_PAE
  34 unsigned long long xen_pte_val(pte_t);
  35 unsigned long long xen_pmd_val(pmd_t);
  36 unsigned long long xen_pgd_val(pgd_t);
  37
  38 pte_t xen_make_pte(unsigned long long);
  39 pmd_t xen_make_pmd(unsigned long long);
  40 pgd_t xen_make_pgd(unsigned long long);
  41
  42 void xen_set_pte_at(struct mm_struct *mm, unsigned long addr,
  43                     pte_t *ptep, pte_t pteval);
  44 void xen_set_pte_atomic(pte_t *ptep, pte_t pte);
  45 void xen_set_pud(pud_t *ptr, pud_t val);
  46 void xen_pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep);
  47 void xen_pmd_clear(pmd_t *pmdp);
  48
  49
  50 #else
  51 unsigned long xen_pte_val(pte_t);
  52 unsigned long xen_pmd_val(pmd_t);
  53 unsigned long xen_pgd_val(pgd_t);
  54
  55 pte_t xen_make_pte(unsigned long);
  56 pmd_t xen_make_pmd(unsigned long);
  57 pgd_t xen_make_pgd(unsigned long);
  58 #endif
  59
  60 #endif  /* _XEN_MMU_H */