blob: 3e276eb23d1bd7c315f055ecfcb551b0cd5ed1b8 [file] [log] [blame]
H. Peter Anvin05e4d312008-10-23 00:01:39 -07001#ifndef _ASM_X86_XEN_PAGE_H
2#define _ASM_X86_XEN_PAGE_H
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -07003
Jeremy Fitzhardingeecbf29c2008-12-16 12:37:07 -08004#include <linux/kernel.h>
5#include <linux/types.h>
6#include <linux/spinlock.h>
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -07007#include <linux/pfn.h>
Ian Campbell7e775062010-09-30 12:37:26 +01008#include <linux/mm.h>
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -07009
10#include <asm/uaccess.h>
Jeremy Fitzhardingeecbf29c2008-12-16 12:37:07 -080011#include <asm/page.h>
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070012#include <asm/pgtable.h>
13
Jeremy Fitzhardingeecbf29c2008-12-16 12:37:07 -080014#include <xen/interface/xen.h>
Stefano Stabellini0930bba2011-09-29 11:57:56 +010015#include <xen/grant_table.h>
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070016#include <xen/features.h>
17
18/* Xen machine address */
19typedef struct xmaddr {
20 phys_addr_t maddr;
21} xmaddr_t;
22
23/* Xen pseudo-physical address */
24typedef struct xpaddr {
25 phys_addr_t paddr;
26} xpaddr_t;
27
28#define XMADDR(x) ((xmaddr_t) { .maddr = (x) })
29#define XPADDR(x) ((xpaddr_t) { .paddr = (x) })
30
31/**** MACHINE <-> PHYSICAL CONVERSION MACROS ****/
32#define INVALID_P2M_ENTRY (~0UL)
Konrad Rzeszutek Wilkf4cec352011-01-18 20:15:21 -050033#define FOREIGN_FRAME_BIT (1UL<<(BITS_PER_LONG-1))
34#define IDENTITY_FRAME_BIT (1UL<<(BITS_PER_LONG-2))
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070035#define FOREIGN_FRAME(m) ((m) | FOREIGN_FRAME_BIT)
Konrad Rzeszutek Wilkf4cec352011-01-18 20:15:21 -050036#define IDENTITY_FRAME(m) ((m) | IDENTITY_FRAME_BIT)
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070037
Jeremy Fitzhardinge8006ec32008-05-26 23:31:19 +010038/* Maximum amount of memory we can handle in a domain in pages */
39#define MAX_DOMAIN_PAGES \
40 ((unsigned long)((u64)CONFIG_XEN_MAX_DOMAIN_MEMORY * 1024 * 1024 * 1024 / PAGE_SIZE))
41
Ian Campbell7e775062010-09-30 12:37:26 +010042extern unsigned long *machine_to_phys_mapping;
Jan Beulichccbcdf72011-08-16 15:07:41 +010043extern unsigned long machine_to_phys_nr;
Jeremy Fitzhardinge8006ec32008-05-26 23:31:19 +010044
Jeremy Fitzhardinged451bb72008-05-26 23:31:18 +010045extern unsigned long get_phys_to_machine(unsigned long pfn);
Jeremy Fitzhardingec3798062010-08-27 13:42:04 -070046extern bool set_phys_to_machine(unsigned long pfn, unsigned long mfn);
Konrad Rzeszutek Wilk940713b2012-03-30 14:33:14 -040047extern bool __init early_set_phys_to_machine(unsigned long pfn, unsigned long mfn);
Konrad Rzeszutek Wilk6eaa4122011-01-18 20:09:41 -050048extern bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn);
Konrad Rzeszutek Wilkf4cec352011-01-18 20:15:21 -050049extern unsigned long set_phys_range_identity(unsigned long pfn_s,
50 unsigned long pfn_e);
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070051
Konrad Rzeszutek Wilkcf8d9162011-02-28 17:58:48 -050052extern int m2p_add_override(unsigned long mfn, struct page *page,
Stefano Stabellini0930bba2011-09-29 11:57:56 +010053 struct gnttab_map_grant_ref *kmap_op);
Stefano Stabellini2fc136e2012-09-12 12:44:30 +010054extern int m2p_remove_override(struct page *page,
Konrad Rzeszutek Wilke85fc982014-02-03 06:43:59 -050055 struct gnttab_map_grant_ref *kmap_op);
Jeremy Fitzhardinge448f28312010-12-15 13:19:33 +000056extern struct page *m2p_find_override(unsigned long mfn);
57extern unsigned long m2p_find_override_pfn(unsigned long mfn, unsigned long pfn);
58
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070059static inline unsigned long pfn_to_mfn(unsigned long pfn)
60{
Jeremy Fitzhardingecfd89512010-08-31 14:06:22 -070061 unsigned long mfn;
62
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070063 if (xen_feature(XENFEAT_auto_translated_physmap))
64 return pfn;
65
Jeremy Fitzhardingecfd89512010-08-31 14:06:22 -070066 mfn = get_phys_to_machine(pfn);
67
68 if (mfn != INVALID_P2M_ENTRY)
Konrad Rzeszutek Wilkf4cec352011-01-18 20:15:21 -050069 mfn &= ~(FOREIGN_FRAME_BIT | IDENTITY_FRAME_BIT);
Jeremy Fitzhardingecfd89512010-08-31 14:06:22 -070070
71 return mfn;
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070072}
73
74static inline int phys_to_machine_mapping_valid(unsigned long pfn)
75{
76 if (xen_feature(XENFEAT_auto_translated_physmap))
77 return 1;
78
Jeremy Fitzhardinged451bb72008-05-26 23:31:18 +010079 return get_phys_to_machine(pfn) != INVALID_P2M_ENTRY;
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070080}
81
David Vrabel01606762013-09-13 15:13:30 +010082static inline unsigned long mfn_to_pfn_no_overrides(unsigned long mfn)
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070083{
84 unsigned long pfn;
David Vrabel01606762013-09-13 15:13:30 +010085 int ret;
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070086
87 if (xen_feature(XENFEAT_auto_translated_physmap))
88 return mfn;
89
David Vrabel01606762013-09-13 15:13:30 +010090 if (unlikely(mfn >= machine_to_phys_nr))
91 return ~0;
92
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -070093 /*
94 * The array access can fail (e.g., device space beyond end of RAM).
95 * In such cases it doesn't matter what we return (we return garbage),
96 * but we must handle the fault without crashing!
97 */
Stefano Stabellini706cc9d2011-02-02 18:32:59 +000098 ret = __get_user(pfn, &machine_to_phys_mapping[mfn]);
Stefano Stabellini706cc9d2011-02-02 18:32:59 +000099 if (ret < 0)
David Vrabel01606762013-09-13 15:13:30 +0100100 return ~0;
101
102 return pfn;
103}
104
105static inline unsigned long mfn_to_pfn(unsigned long mfn)
106{
107 unsigned long pfn;
108
109 if (xen_feature(XENFEAT_auto_translated_physmap))
110 return mfn;
111
112 pfn = mfn_to_pfn_no_overrides(mfn);
113 if (get_phys_to_machine(pfn) != mfn) {
Stefano Stabellini706cc9d2011-02-02 18:32:59 +0000114 /*
115 * If this appears to be a foreign mfn (because the pfn
116 * doesn't map back to the mfn), then check the local override
117 * table to see if there's a better pfn to use.
118 *
119 * m2p_find_override_pfn returns ~0 if it doesn't find anything.
120 */
121 pfn = m2p_find_override_pfn(mfn, ~0);
David Vrabel01606762013-09-13 15:13:30 +0100122 }
Stefano Stabellini706cc9d2011-02-02 18:32:59 +0000123
Konrad Rzeszutek Wilke85fc982014-02-03 06:43:59 -0500124 /*
Stefano Stabellini706cc9d2011-02-02 18:32:59 +0000125 * pfn is ~0 if there are no entries in the m2p for mfn or if the
126 * entry doesn't map back to the mfn and m2p_override doesn't have a
127 * valid entry for it.
Jeremy Fitzhardinge448f28312010-12-15 13:19:33 +0000128 */
Stefano Stabellini706cc9d2011-02-02 18:32:59 +0000129 if (pfn == ~0 &&
130 get_phys_to_machine(mfn) == IDENTITY_FRAME(mfn))
131 pfn = mfn;
Jeremy Fitzhardinge448f28312010-12-15 13:19:33 +0000132
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700133 return pfn;
134}
135
136static inline xmaddr_t phys_to_machine(xpaddr_t phys)
137{
138 unsigned offset = phys.paddr & ~PAGE_MASK;
Jeremy Fitzhardinge947d0492008-09-11 01:31:48 -0700139 return XMADDR(PFN_PHYS(pfn_to_mfn(PFN_DOWN(phys.paddr))) | offset);
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700140}
141
142static inline xpaddr_t machine_to_phys(xmaddr_t machine)
143{
144 unsigned offset = machine.maddr & ~PAGE_MASK;
Jeremy Fitzhardinge947d0492008-09-11 01:31:48 -0700145 return XPADDR(PFN_PHYS(mfn_to_pfn(PFN_DOWN(machine.maddr))) | offset);
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700146}
147
148/*
149 * We detect special mappings in one of two ways:
150 * 1. If the MFN is an I/O page then Xen will set the m2p entry
151 * to be outside our maximum possible pseudophys range.
152 * 2. If the MFN belongs to a different domain then we will certainly
153 * not have MFN in our p2m table. Conversely, if the page is ours,
154 * then we'll have p2m(m2p(MFN))==MFN.
155 * If we detect a special mapping then it doesn't have a 'struct page'.
156 * We force !pfn_valid() by returning an out-of-range pointer.
157 *
158 * NB. These checks require that, for any MFN that is not in our reservation,
159 * there is no PFN such that p2m(PFN) == MFN. Otherwise we can get confused if
160 * we are foreign-mapping the MFN, and the other domain as m2p(MFN) == PFN.
161 * Yikes! Various places must poke in INVALID_P2M_ENTRY for safety.
162 *
163 * NB2. When deliberately mapping foreign pages into the p2m table, you *must*
164 * use FOREIGN_FRAME(). This will cause pte_pfn() to choke on it, as we
165 * require. In all the cases we care about, the FOREIGN_FRAME bit is
166 * masked (e.g., pfn_to_mfn()) so behaviour there is correct.
167 */
168static inline unsigned long mfn_to_local_pfn(unsigned long mfn)
169{
Mukesh Rathorfc590ef2013-12-13 12:09:28 -0500170 unsigned long pfn;
171
172 if (xen_feature(XENFEAT_auto_translated_physmap))
173 return mfn;
174
175 pfn = mfn_to_pfn(mfn);
Jeremy Fitzhardingec0011db2010-02-04 14:46:34 -0800176 if (get_phys_to_machine(pfn) != mfn)
177 return -1; /* force !pfn_valid() */
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700178 return pfn;
179}
180
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700181/* VIRT <-> MACHINE conversion */
182#define virt_to_machine(v) (phys_to_machine(XPADDR(__pa(v))))
Alex Nixonb40bf532009-02-09 12:05:46 -0800183#define virt_to_pfn(v) (PFN_DOWN(__pa(v)))
184#define virt_to_mfn(v) (pfn_to_mfn(virt_to_pfn(v)))
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700185#define mfn_to_virt(m) (__va(mfn_to_pfn(m) << PAGE_SHIFT))
186
187static inline unsigned long pte_mfn(pte_t pte)
188{
Jeremy Fitzhardinge59438c92008-07-21 22:59:42 -0700189 return (pte.pte & PTE_PFN_MASK) >> PAGE_SHIFT;
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700190}
191
192static inline pte_t mfn_pte(unsigned long page_nr, pgprot_t pgprot)
193{
194 pte_t pte;
195
196 pte.pte = ((phys_addr_t)page_nr << PAGE_SHIFT) |
Jeremy Fitzhardingeb5348162009-02-04 18:33:38 -0800197 massage_pgprot(pgprot);
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700198
199 return pte;
200}
201
202static inline pteval_t pte_val_ma(pte_t pte)
203{
204 return pte.pte;
205}
206
207static inline pte_t __pte_ma(pteval_t x)
208{
209 return (pte_t) { .pte = x };
210}
211
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700212#define pmd_val_ma(v) ((v).pmd)
Jeremy Fitzhardingef6e58732008-07-08 15:06:38 -0700213#ifdef __PAGETABLE_PUD_FOLDED
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700214#define pud_val_ma(v) ((v).pgd.pgd)
Jeremy Fitzhardingef6e58732008-07-08 15:06:38 -0700215#else
216#define pud_val_ma(v) ((v).pud)
217#endif
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700218#define __pmd_ma(x) ((pmd_t) { (x) } )
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700219
220#define pgd_val_ma(x) ((x).pgd)
221
Jeremy Fitzhardingeeba3ff82009-02-09 12:05:49 -0800222void xen_set_domain_pte(pte_t *ptep, pte_t pteval, unsigned domid);
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700223
Jeremy Fitzhardingece803e72008-07-08 15:06:55 -0700224xmaddr_t arbitrary_virt_to_machine(void *address);
Jeremy Fitzhardinge9976b392009-02-27 09:19:26 -0800225unsigned long arbitrary_virt_to_mfn(void *vaddr);
Isaku Yamahata20e71f2e2008-04-02 10:53:58 -0700226void make_lowmem_page_readonly(void *vaddr);
227void make_lowmem_page_readwrite(void *vaddr);
228
Stefano Stabellini3216dce2013-02-19 13:59:19 +0000229#define xen_remap(cookie, size) ioremap((cookie), (size));
Konrad Rzeszutek Wilkefaf30a2014-01-06 10:40:36 -0500230#define xen_unmap(cookie) iounmap((cookie))
Stefano Stabellini3216dce2013-02-19 13:59:19 +0000231
H. Peter Anvin05e4d312008-10-23 00:01:39 -0700232#endif /* _ASM_X86_XEN_PAGE_H */