H. Peter Anvin | 05e4d31 | 2008-10-23 00:01:39 -0700 | [diff] [blame] | 1 | #ifndef _ASM_X86_XEN_PAGE_H |
| 2 | #define _ASM_X86_XEN_PAGE_H |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 3 | |
Jeremy Fitzhardinge | ecbf29c | 2008-12-16 12:37:07 -0800 | [diff] [blame] | 4 | #include <linux/kernel.h> |
| 5 | #include <linux/types.h> |
| 6 | #include <linux/spinlock.h> |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 7 | #include <linux/pfn.h> |
| 8 | |
| 9 | #include <asm/uaccess.h> |
Jeremy Fitzhardinge | ecbf29c | 2008-12-16 12:37:07 -0800 | [diff] [blame] | 10 | #include <asm/page.h> |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 11 | #include <asm/pgtable.h> |
| 12 | |
Jeremy Fitzhardinge | ecbf29c | 2008-12-16 12:37:07 -0800 | [diff] [blame] | 13 | #include <xen/interface/xen.h> |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 14 | #include <xen/features.h> |
| 15 | |
| 16 | /* Xen machine address */ |
| 17 | typedef struct xmaddr { |
| 18 | phys_addr_t maddr; |
| 19 | } xmaddr_t; |
| 20 | |
| 21 | /* Xen pseudo-physical address */ |
| 22 | typedef struct xpaddr { |
| 23 | phys_addr_t paddr; |
| 24 | } xpaddr_t; |
| 25 | |
| 26 | #define XMADDR(x) ((xmaddr_t) { .maddr = (x) }) |
| 27 | #define XPADDR(x) ((xpaddr_t) { .paddr = (x) }) |
| 28 | |
| 29 | /**** MACHINE <-> PHYSICAL CONVERSION MACROS ****/ |
| 30 | #define INVALID_P2M_ENTRY (~0UL) |
| 31 | #define FOREIGN_FRAME_BIT (1UL<<31) |
| 32 | #define FOREIGN_FRAME(m) ((m) | FOREIGN_FRAME_BIT) |
| 33 | |
Jeremy Fitzhardinge | 8006ec3 | 2008-05-26 23:31:19 +0100 | [diff] [blame] | 34 | /* Maximum amount of memory we can handle in a domain in pages */ |
| 35 | #define MAX_DOMAIN_PAGES \ |
| 36 | ((unsigned long)((u64)CONFIG_XEN_MAX_DOMAIN_MEMORY * 1024 * 1024 * 1024 / PAGE_SIZE)) |
| 37 | |
| 38 | |
Jeremy Fitzhardinge | d451bb7 | 2008-05-26 23:31:18 +0100 | [diff] [blame] | 39 | extern unsigned long get_phys_to_machine(unsigned long pfn); |
| 40 | extern void set_phys_to_machine(unsigned long pfn, unsigned long mfn); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 41 | |
| 42 | static inline unsigned long pfn_to_mfn(unsigned long pfn) |
| 43 | { |
| 44 | if (xen_feature(XENFEAT_auto_translated_physmap)) |
| 45 | return pfn; |
| 46 | |
Jeremy Fitzhardinge | d451bb7 | 2008-05-26 23:31:18 +0100 | [diff] [blame] | 47 | return get_phys_to_machine(pfn) & ~FOREIGN_FRAME_BIT; |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 48 | } |
| 49 | |
| 50 | static inline int phys_to_machine_mapping_valid(unsigned long pfn) |
| 51 | { |
| 52 | if (xen_feature(XENFEAT_auto_translated_physmap)) |
| 53 | return 1; |
| 54 | |
Jeremy Fitzhardinge | d451bb7 | 2008-05-26 23:31:18 +0100 | [diff] [blame] | 55 | return get_phys_to_machine(pfn) != INVALID_P2M_ENTRY; |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 56 | } |
| 57 | |
| 58 | static inline unsigned long mfn_to_pfn(unsigned long mfn) |
| 59 | { |
| 60 | unsigned long pfn; |
| 61 | |
| 62 | if (xen_feature(XENFEAT_auto_translated_physmap)) |
| 63 | return mfn; |
| 64 | |
| 65 | #if 0 |
| 66 | if (unlikely((mfn >> machine_to_phys_order) != 0)) |
| 67 | return max_mapnr; |
| 68 | #endif |
| 69 | |
| 70 | pfn = 0; |
| 71 | /* |
| 72 | * The array access can fail (e.g., device space beyond end of RAM). |
| 73 | * In such cases it doesn't matter what we return (we return garbage), |
| 74 | * but we must handle the fault without crashing! |
| 75 | */ |
| 76 | __get_user(pfn, &machine_to_phys_mapping[mfn]); |
| 77 | |
| 78 | return pfn; |
| 79 | } |
| 80 | |
| 81 | static inline xmaddr_t phys_to_machine(xpaddr_t phys) |
| 82 | { |
| 83 | unsigned offset = phys.paddr & ~PAGE_MASK; |
Jeremy Fitzhardinge | 947d049 | 2008-09-11 01:31:48 -0700 | [diff] [blame] | 84 | return XMADDR(PFN_PHYS(pfn_to_mfn(PFN_DOWN(phys.paddr))) | offset); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 85 | } |
| 86 | |
| 87 | static inline xpaddr_t machine_to_phys(xmaddr_t machine) |
| 88 | { |
| 89 | unsigned offset = machine.maddr & ~PAGE_MASK; |
Jeremy Fitzhardinge | 947d049 | 2008-09-11 01:31:48 -0700 | [diff] [blame] | 90 | return XPADDR(PFN_PHYS(mfn_to_pfn(PFN_DOWN(machine.maddr))) | offset); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 91 | } |
| 92 | |
| 93 | /* |
| 94 | * We detect special mappings in one of two ways: |
| 95 | * 1. If the MFN is an I/O page then Xen will set the m2p entry |
| 96 | * to be outside our maximum possible pseudophys range. |
| 97 | * 2. If the MFN belongs to a different domain then we will certainly |
| 98 | * not have MFN in our p2m table. Conversely, if the page is ours, |
| 99 | * then we'll have p2m(m2p(MFN))==MFN. |
| 100 | * If we detect a special mapping then it doesn't have a 'struct page'. |
| 101 | * We force !pfn_valid() by returning an out-of-range pointer. |
| 102 | * |
| 103 | * NB. These checks require that, for any MFN that is not in our reservation, |
| 104 | * there is no PFN such that p2m(PFN) == MFN. Otherwise we can get confused if |
| 105 | * we are foreign-mapping the MFN, and the other domain as m2p(MFN) == PFN. |
| 106 | * Yikes! Various places must poke in INVALID_P2M_ENTRY for safety. |
| 107 | * |
| 108 | * NB2. When deliberately mapping foreign pages into the p2m table, you *must* |
| 109 | * use FOREIGN_FRAME(). This will cause pte_pfn() to choke on it, as we |
| 110 | * require. In all the cases we care about, the FOREIGN_FRAME bit is |
| 111 | * masked (e.g., pfn_to_mfn()) so behaviour there is correct. |
| 112 | */ |
| 113 | static inline unsigned long mfn_to_local_pfn(unsigned long mfn) |
| 114 | { |
| 115 | extern unsigned long max_mapnr; |
| 116 | unsigned long pfn = mfn_to_pfn(mfn); |
| 117 | if ((pfn < max_mapnr) |
| 118 | && !xen_feature(XENFEAT_auto_translated_physmap) |
Jeremy Fitzhardinge | d451bb7 | 2008-05-26 23:31:18 +0100 | [diff] [blame] | 119 | && (get_phys_to_machine(pfn) != mfn)) |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 120 | return max_mapnr; /* force !pfn_valid() */ |
Jeremy Fitzhardinge | d451bb7 | 2008-05-26 23:31:18 +0100 | [diff] [blame] | 121 | /* XXX fixme; not true with sparsemem */ |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 122 | return pfn; |
| 123 | } |
| 124 | |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 125 | /* VIRT <-> MACHINE conversion */ |
| 126 | #define virt_to_machine(v) (phys_to_machine(XPADDR(__pa(v)))) |
Alex Nixon | b40bf53 | 2009-02-09 12:05:46 -0800 | [diff] [blame] | 127 | #define virt_to_pfn(v) (PFN_DOWN(__pa(v))) |
| 128 | #define virt_to_mfn(v) (pfn_to_mfn(virt_to_pfn(v))) |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 129 | #define mfn_to_virt(m) (__va(mfn_to_pfn(m) << PAGE_SHIFT)) |
| 130 | |
| 131 | static inline unsigned long pte_mfn(pte_t pte) |
| 132 | { |
Jeremy Fitzhardinge | 59438c9 | 2008-07-21 22:59:42 -0700 | [diff] [blame] | 133 | return (pte.pte & PTE_PFN_MASK) >> PAGE_SHIFT; |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 134 | } |
| 135 | |
| 136 | static inline pte_t mfn_pte(unsigned long page_nr, pgprot_t pgprot) |
| 137 | { |
| 138 | pte_t pte; |
| 139 | |
| 140 | pte.pte = ((phys_addr_t)page_nr << PAGE_SHIFT) | |
Jeremy Fitzhardinge | b534816 | 2009-02-04 18:33:38 -0800 | [diff] [blame] | 141 | massage_pgprot(pgprot); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 142 | |
| 143 | return pte; |
| 144 | } |
| 145 | |
| 146 | static inline pteval_t pte_val_ma(pte_t pte) |
| 147 | { |
| 148 | return pte.pte; |
| 149 | } |
| 150 | |
| 151 | static inline pte_t __pte_ma(pteval_t x) |
| 152 | { |
| 153 | return (pte_t) { .pte = x }; |
| 154 | } |
| 155 | |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 156 | #define pmd_val_ma(v) ((v).pmd) |
Jeremy Fitzhardinge | f6e5873 | 2008-07-08 15:06:38 -0700 | [diff] [blame] | 157 | #ifdef __PAGETABLE_PUD_FOLDED |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 158 | #define pud_val_ma(v) ((v).pgd.pgd) |
Jeremy Fitzhardinge | f6e5873 | 2008-07-08 15:06:38 -0700 | [diff] [blame] | 159 | #else |
| 160 | #define pud_val_ma(v) ((v).pud) |
| 161 | #endif |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 162 | #define __pmd_ma(x) ((pmd_t) { (x) } ) |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 163 | |
| 164 | #define pgd_val_ma(x) ((x).pgd) |
| 165 | |
| 166 | |
Jeremy Fitzhardinge | ce803e7 | 2008-07-08 15:06:55 -0700 | [diff] [blame] | 167 | xmaddr_t arbitrary_virt_to_machine(void *address); |
Jeremy Fitzhardinge | 9976b39 | 2009-02-27 09:19:26 -0800 | [diff] [blame] | 168 | unsigned long arbitrary_virt_to_mfn(void *vaddr); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 169 | void make_lowmem_page_readonly(void *vaddr); |
| 170 | void make_lowmem_page_readwrite(void *vaddr); |
| 171 | |
H. Peter Anvin | 05e4d31 | 2008-10-23 00:01:39 -0700 | [diff] [blame] | 172 | #endif /* _ASM_X86_XEN_PAGE_H */ |