blob: 3f2a67fe6ad6b4a1be5958d7d5df4914e15c71f6 [file] [log] [blame]
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -07001/*
2 * Xen mmu operations
3 *
4 * This file contains the various mmu fetch and update operations.
5 * The most important job they must perform is the mapping between the
6 * domain's pfn and the overall machine mfns.
7 *
8 * Xen allows guests to directly update the pagetable, in a controlled
9 * fashion. In other words, the guest modifies the same pagetable
10 * that the CPU actually uses, which eliminates the overhead of having
11 * a separate shadow pagetable.
12 *
13 * In order to allow this, it falls on the guest domain to map its
14 * notion of a "physical" pfn - which is just a domain-local linear
15 * address - into a real "machine address" which the CPU's MMU can
16 * use.
17 *
18 * A pgd_t/pmd_t/pte_t will typically contain an mfn, and so can be
19 * inserted directly into the pagetable. When creating a new
20 * pte/pmd/pgd, it converts the passed pfn into an mfn. Conversely,
21 * when reading the content back with __(pgd|pmd|pte)_val, it converts
22 * the mfn back into a pfn.
23 *
24 * The other constraint is that all pages which make up a pagetable
25 * must be mapped read-only in the guest. This prevents uncontrolled
26 * guest updates to the pagetable. Xen strictly enforces this, and
27 * will disallow any pagetable update which will end up mapping a
28 * pagetable page RW, and will disallow using any writable page as a
29 * pagetable.
30 *
31 * Naively, when loading %cr3 with the base of a new pagetable, Xen
32 * would need to validate the whole pagetable before going on.
33 * Naturally, this is quite slow. The solution is to "pin" a
34 * pagetable, which enforces all the constraints on the pagetable even
35 * when it is not actively in use. This menas that Xen can be assured
36 * that it is still valid when you do load it into %cr3, and doesn't
37 * need to revalidate it.
38 *
39 * Jeremy Fitzhardinge <jeremy@xensource.com>, XenSource Inc, 2007
40 */
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -070041#include <linux/sched.h>
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -070042#include <linux/highmem.h>
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070043#include <linux/bug.h>
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070044
45#include <asm/pgtable.h>
46#include <asm/tlbflush.h>
47#include <asm/mmu_context.h>
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -070048#include <asm/paravirt.h>
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070049
50#include <asm/xen/hypercall.h>
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -070051#include <asm/xen/hypervisor.h>
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070052
53#include <xen/page.h>
54#include <xen/interface/xen.h>
55
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -070056#include "multicalls.h"
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070057#include "mmu.h"
58
59xmaddr_t arbitrary_virt_to_machine(unsigned long address)
60{
Harvey Harrisonda7bfc52008-02-09 23:24:08 +010061 unsigned int level;
Ingo Molnarf0646e42008-01-30 13:33:43 +010062 pte_t *pte = lookup_address(address, &level);
Jan Beulichde067812008-05-15 13:24:52 +010063 unsigned offset = address & ~PAGE_MASK;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070064
65 BUG_ON(pte == NULL);
66
67 return XMADDR((pte_mfn(*pte) << PAGE_SHIFT) + offset);
68}
69
70void make_lowmem_page_readonly(void *vaddr)
71{
72 pte_t *pte, ptev;
73 unsigned long address = (unsigned long)vaddr;
Harvey Harrisonda7bfc52008-02-09 23:24:08 +010074 unsigned int level;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070075
Ingo Molnarf0646e42008-01-30 13:33:43 +010076 pte = lookup_address(address, &level);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070077 BUG_ON(pte == NULL);
78
79 ptev = pte_wrprotect(*pte);
80
81 if (HYPERVISOR_update_va_mapping(address, ptev, 0))
82 BUG();
83}
84
85void make_lowmem_page_readwrite(void *vaddr)
86{
87 pte_t *pte, ptev;
88 unsigned long address = (unsigned long)vaddr;
Harvey Harrisonda7bfc52008-02-09 23:24:08 +010089 unsigned int level;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070090
Ingo Molnarf0646e42008-01-30 13:33:43 +010091 pte = lookup_address(address, &level);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070092 BUG_ON(pte == NULL);
93
94 ptev = pte_mkwrite(*pte);
95
96 if (HYPERVISOR_update_va_mapping(address, ptev, 0))
97 BUG();
98}
99
100
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700101void xen_set_pmd(pmd_t *ptr, pmd_t val)
102{
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700103 struct multicall_space mcs;
104 struct mmu_update *u;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700105
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700106 preempt_disable();
107
108 mcs = xen_mc_entry(sizeof(*u));
109 u = mcs.args;
110 u->ptr = virt_to_machine(ptr).maddr;
111 u->val = pmd_val_ma(val);
112 MULTI_mmu_update(mcs.mc, u, 1, NULL, DOMID_SELF);
113
114 xen_mc_issue(PARAVIRT_LAZY_MMU);
115
116 preempt_enable();
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700117}
118
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700119/*
120 * Associate a virtual page frame with a given physical page frame
121 * and protection flags for that frame.
122 */
123void set_pte_mfn(unsigned long vaddr, unsigned long mfn, pgprot_t flags)
124{
125 pgd_t *pgd;
126 pud_t *pud;
127 pmd_t *pmd;
128 pte_t *pte;
129
130 pgd = swapper_pg_dir + pgd_index(vaddr);
131 if (pgd_none(*pgd)) {
132 BUG();
133 return;
134 }
135 pud = pud_offset(pgd, vaddr);
136 if (pud_none(*pud)) {
137 BUG();
138 return;
139 }
140 pmd = pmd_offset(pud, vaddr);
141 if (pmd_none(*pmd)) {
142 BUG();
143 return;
144 }
145 pte = pte_offset_kernel(pmd, vaddr);
146 /* <mfn,flags> stored as-is, to permit clearing entries */
147 xen_set_pte(pte, mfn_pte(mfn, flags));
148
149 /*
150 * It's enough to flush this one mapping.
151 * (PGE mappings get flushed as well)
152 */
153 __flush_tlb_one(vaddr);
154}
155
156void xen_set_pte_at(struct mm_struct *mm, unsigned long addr,
157 pte_t *ptep, pte_t pteval)
158{
Jeremy Fitzhardinge2bd50032008-04-02 10:54:10 -0700159 /* updates to init_mm may be done without lock */
160 if (mm == &init_mm)
161 preempt_disable();
162
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700163 if (mm == current->mm || mm == &init_mm) {
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700164 if (paravirt_get_lazy_mode() == PARAVIRT_LAZY_MMU) {
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700165 struct multicall_space mcs;
166 mcs = xen_mc_entry(0);
167
168 MULTI_update_va_mapping(mcs.mc, addr, pteval, 0);
169 xen_mc_issue(PARAVIRT_LAZY_MMU);
Jeremy Fitzhardinge2bd50032008-04-02 10:54:10 -0700170 goto out;
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700171 } else
172 if (HYPERVISOR_update_va_mapping(addr, pteval, 0) == 0)
Jeremy Fitzhardinge2bd50032008-04-02 10:54:10 -0700173 goto out;
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700174 }
175 xen_set_pte(ptep, pteval);
Jeremy Fitzhardinge2bd50032008-04-02 10:54:10 -0700176
177out:
178 if (mm == &init_mm)
179 preempt_enable();
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700180}
181
Jeremy Fitzhardinge947a69c2008-03-17 16:37:09 -0700182pteval_t xen_pte_val(pte_t pte)
183{
184 pteval_t ret = pte.pte;
185
186 if (ret & _PAGE_PRESENT)
187 ret = machine_to_phys(XMADDR(ret)).paddr | _PAGE_PRESENT;
188
189 return ret;
190}
191
192pgdval_t xen_pgd_val(pgd_t pgd)
193{
194 pgdval_t ret = pgd.pgd;
195 if (ret & _PAGE_PRESENT)
196 ret = machine_to_phys(XMADDR(ret)).paddr | _PAGE_PRESENT;
197 return ret;
198}
199
200pte_t xen_make_pte(pteval_t pte)
201{
Jeremy Fitzhardinge05345b02008-06-16 15:01:53 -0700202 if (pte & _PAGE_PRESENT)
Jeremy Fitzhardinge947a69c2008-03-17 16:37:09 -0700203 pte = phys_to_machine(XPADDR(pte)).maddr;
Jeremy Fitzhardinge947a69c2008-03-17 16:37:09 -0700204
205 return (pte_t){ .pte = pte };
206}
207
208pgd_t xen_make_pgd(pgdval_t pgd)
209{
210 if (pgd & _PAGE_PRESENT)
211 pgd = phys_to_machine(XPADDR(pgd)).maddr;
212
213 return (pgd_t){ pgd };
214}
215
216pmdval_t xen_pmd_val(pmd_t pmd)
217{
218 pmdval_t ret = native_pmd_val(pmd);
219 if (ret & _PAGE_PRESENT)
220 ret = machine_to_phys(XMADDR(ret)).paddr | _PAGE_PRESENT;
221 return ret;
222}
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700223#ifdef CONFIG_X86_PAE
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700224void xen_set_pud(pud_t *ptr, pud_t val)
225{
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700226 struct multicall_space mcs;
227 struct mmu_update *u;
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700228
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700229 preempt_disable();
230
231 mcs = xen_mc_entry(sizeof(*u));
232 u = mcs.args;
233 u->ptr = virt_to_machine(ptr).maddr;
234 u->val = pud_val_ma(val);
235 MULTI_mmu_update(mcs.mc, u, 1, NULL, DOMID_SELF);
236
237 xen_mc_issue(PARAVIRT_LAZY_MMU);
238
239 preempt_enable();
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700240}
241
242void xen_set_pte(pte_t *ptep, pte_t pte)
243{
244 ptep->pte_high = pte.pte_high;
245 smp_wmb();
246 ptep->pte_low = pte.pte_low;
247}
248
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700249void xen_set_pte_atomic(pte_t *ptep, pte_t pte)
250{
251 set_64bit((u64 *)ptep, pte_val_ma(pte));
252}
253
254void xen_pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep)
255{
256 ptep->pte_low = 0;
257 smp_wmb(); /* make sure low gets written first */
258 ptep->pte_high = 0;
259}
260
261void xen_pmd_clear(pmd_t *pmdp)
262{
263 xen_set_pmd(pmdp, __pmd(0));
264}
265
Jeremy Fitzhardingeabf33032008-03-17 16:37:07 -0700266pmd_t xen_make_pmd(pmdval_t pmd)
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700267{
Jeremy Fitzhardinge430442e2008-03-17 16:37:08 -0700268 if (pmd & _PAGE_PRESENT)
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700269 pmd = phys_to_machine(XPADDR(pmd)).maddr;
270
Jeremy Fitzhardinge947a69c2008-03-17 16:37:09 -0700271 return native_make_pmd(pmd);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700272}
273#else /* !PAE */
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700274void xen_set_pte(pte_t *ptep, pte_t pte)
275{
276 *ptep = pte;
277}
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700278#endif /* CONFIG_X86_PAE */
279
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700280/*
281 (Yet another) pagetable walker. This one is intended for pinning a
282 pagetable. This means that it walks a pagetable and calls the
283 callback function on each page it finds making up the page table,
284 at every level. It walks the entire pagetable, but it only bothers
285 pinning pte pages which are below pte_limit. In the normal case
286 this will be TASK_SIZE, but at boot we need to pin up to
287 FIXADDR_TOP. But the important bit is that we don't pin beyond
288 there, because then we start getting into Xen's ptes.
289*/
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700290static int pgd_walk(pgd_t *pgd_base, int (*func)(struct page *, enum pt_level),
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700291 unsigned long limit)
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700292{
293 pgd_t *pgd = pgd_base;
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700294 int flush = 0;
295 unsigned long addr = 0;
296 unsigned long pgd_next;
297
298 BUG_ON(limit > FIXADDR_TOP);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700299
300 if (xen_feature(XENFEAT_auto_translated_physmap))
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700301 return 0;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700302
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700303 for (; addr != FIXADDR_TOP; pgd++, addr = pgd_next) {
304 pud_t *pud;
305 unsigned long pud_limit, pud_next;
306
307 pgd_next = pud_limit = pgd_addr_end(addr, FIXADDR_TOP);
308
309 if (!pgd_val(*pgd))
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700310 continue;
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700311
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700312 pud = pud_offset(pgd, 0);
313
314 if (PTRS_PER_PUD > 1) /* not folded */
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700315 flush |= (*func)(virt_to_page(pud), PT_PUD);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700316
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700317 for (; addr != pud_limit; pud++, addr = pud_next) {
318 pmd_t *pmd;
319 unsigned long pmd_limit;
320
321 pud_next = pud_addr_end(addr, pud_limit);
322
323 if (pud_next < limit)
324 pmd_limit = pud_next;
325 else
326 pmd_limit = limit;
327
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700328 if (pud_none(*pud))
329 continue;
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700330
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700331 pmd = pmd_offset(pud, 0);
332
333 if (PTRS_PER_PMD > 1) /* not folded */
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700334 flush |= (*func)(virt_to_page(pmd), PT_PMD);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700335
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700336 for (; addr != pmd_limit; pmd++) {
337 addr += (PAGE_SIZE * PTRS_PER_PTE);
338 if ((pmd_limit-1) < (addr-1)) {
339 addr = pmd_limit;
340 break;
341 }
342
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700343 if (pmd_none(*pmd))
344 continue;
345
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700346 flush |= (*func)(pmd_page(*pmd), PT_PTE);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700347 }
348 }
349 }
350
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700351 flush |= (*func)(virt_to_page(pgd_base), PT_PGD);
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700352
353 return flush;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700354}
355
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700356static spinlock_t *lock_pte(struct page *page)
357{
358 spinlock_t *ptl = NULL;
359
360#if NR_CPUS >= CONFIG_SPLIT_PTLOCK_CPUS
361 ptl = __pte_lockptr(page);
362 spin_lock(ptl);
363#endif
364
365 return ptl;
366}
367
368static void do_unlock(void *v)
369{
370 spinlock_t *ptl = v;
371 spin_unlock(ptl);
372}
373
374static void xen_do_pin(unsigned level, unsigned long pfn)
375{
376 struct mmuext_op *op;
377 struct multicall_space mcs;
378
379 mcs = __xen_mc_entry(sizeof(*op));
380 op = mcs.args;
381 op->cmd = level;
382 op->arg1.mfn = pfn_to_mfn(pfn);
383 MULTI_mmuext_op(mcs.mc, op, 1, NULL, DOMID_SELF);
384}
385
386static int pin_page(struct page *page, enum pt_level level)
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700387{
Christoph Lameterd60cd462008-04-28 02:12:51 -0700388 unsigned pgfl = TestSetPagePinned(page);
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700389 int flush;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700390
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700391 if (pgfl)
392 flush = 0; /* already pinned */
393 else if (PageHighMem(page))
394 /* kmaps need flushing if we found an unpinned
395 highpage */
396 flush = 1;
397 else {
398 void *pt = lowmem_page_address(page);
399 unsigned long pfn = page_to_pfn(page);
400 struct multicall_space mcs = __xen_mc_entry(0);
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700401 spinlock_t *ptl;
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700402
403 flush = 0;
404
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700405 ptl = NULL;
406 if (level == PT_PTE)
407 ptl = lock_pte(page);
408
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700409 MULTI_update_va_mapping(mcs.mc, (unsigned long)pt,
410 pfn_pte(pfn, PAGE_KERNEL_RO),
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700411 level == PT_PGD ? UVMF_TLB_FLUSH : 0);
412
413 if (level == PT_PTE)
414 xen_do_pin(MMUEXT_PIN_L1_TABLE, pfn);
415
416 if (ptl) {
417 /* Queue a deferred unlock for when this batch
418 is completed. */
419 xen_mc_callback(do_unlock, ptl);
420 }
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700421 }
422
423 return flush;
424}
425
426/* This is called just after a mm has been created, but it has not
427 been used yet. We need to make sure that its pagetable is all
428 read-only, and can be pinned. */
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700429void xen_pgd_pin(pgd_t *pgd)
430{
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700431 unsigned level;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700432
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700433 xen_mc_batch();
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700434
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700435 if (pgd_walk(pgd, pin_page, TASK_SIZE)) {
436 /* re-enable interrupts for kmap_flush_unused */
437 xen_mc_issue(0);
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700438 kmap_flush_unused();
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700439 xen_mc_batch();
440 }
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700441
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700442#ifdef CONFIG_X86_PAE
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700443 level = MMUEXT_PIN_L3_TABLE;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700444#else
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700445 level = MMUEXT_PIN_L2_TABLE;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700446#endif
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700447
448 xen_do_pin(level, PFN_DOWN(__pa(pgd)));
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700449
450 xen_mc_issue(0);
451}
452
453/* The init_mm pagetable is really pinned as soon as its created, but
454 that's before we have page structures to store the bits. So do all
455 the book-keeping now. */
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700456static __init int mark_pinned(struct page *page, enum pt_level level)
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700457{
458 SetPagePinned(page);
459 return 0;
460}
461
462void __init xen_mark_init_mm_pinned(void)
463{
464 pgd_walk(init_mm.pgd, mark_pinned, FIXADDR_TOP);
465}
466
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700467static int unpin_page(struct page *page, enum pt_level level)
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700468{
Christoph Lameterd60cd462008-04-28 02:12:51 -0700469 unsigned pgfl = TestClearPagePinned(page);
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700470
471 if (pgfl && !PageHighMem(page)) {
472 void *pt = lowmem_page_address(page);
473 unsigned long pfn = page_to_pfn(page);
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700474 spinlock_t *ptl = NULL;
475 struct multicall_space mcs;
476
477 if (level == PT_PTE) {
478 ptl = lock_pte(page);
479
480 xen_do_pin(MMUEXT_UNPIN_TABLE, pfn);
481 }
482
483 mcs = __xen_mc_entry(0);
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700484
485 MULTI_update_va_mapping(mcs.mc, (unsigned long)pt,
486 pfn_pte(pfn, PAGE_KERNEL),
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700487 level == PT_PGD ? UVMF_TLB_FLUSH : 0);
488
489 if (ptl) {
490 /* unlock when batch completed */
491 xen_mc_callback(do_unlock, ptl);
492 }
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700493 }
494
495 return 0; /* never need to flush on unpin */
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700496}
497
498/* Release a pagetables pages back as normal RW */
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700499static void xen_pgd_unpin(pgd_t *pgd)
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700500{
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700501 xen_mc_batch();
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700502
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700503 xen_do_pin(MMUEXT_UNPIN_TABLE, PFN_DOWN(__pa(pgd)));
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700504
505 pgd_walk(pgd, unpin_page, TASK_SIZE);
506
507 xen_mc_issue(0);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700508}
509
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700510void xen_activate_mm(struct mm_struct *prev, struct mm_struct *next)
511{
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700512 spin_lock(&next->page_table_lock);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700513 xen_pgd_pin(next->pgd);
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700514 spin_unlock(&next->page_table_lock);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700515}
516
517void xen_dup_mmap(struct mm_struct *oldmm, struct mm_struct *mm)
518{
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700519 spin_lock(&mm->page_table_lock);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700520 xen_pgd_pin(mm->pgd);
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700521 spin_unlock(&mm->page_table_lock);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700522}
523
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700524
525#ifdef CONFIG_SMP
526/* Another cpu may still have their %cr3 pointing at the pagetable, so
527 we need to repoint it somewhere else before we can unpin it. */
528static void drop_other_mm_ref(void *info)
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700529{
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700530 struct mm_struct *mm = info;
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700531
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700532 if (__get_cpu_var(cpu_tlbstate).active_mm == mm)
533 leave_mm(smp_processor_id());
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700534
535 /* If this cpu still has a stale cr3 reference, then make sure
536 it has been flushed. */
537 if (x86_read_percpu(xen_current_cr3) == __pa(mm->pgd)) {
538 load_cr3(swapper_pg_dir);
539 arch_flush_lazy_cpu_mode();
540 }
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700541}
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700542
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700543static void drop_mm_ref(struct mm_struct *mm)
544{
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700545 cpumask_t mask;
546 unsigned cpu;
547
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700548 if (current->active_mm == mm) {
549 if (current->mm == mm)
550 load_cr3(swapper_pg_dir);
551 else
552 leave_mm(smp_processor_id());
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700553 arch_flush_lazy_cpu_mode();
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700554 }
555
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700556 /* Get the "official" set of cpus referring to our pagetable. */
557 mask = mm->cpu_vm_mask;
558
559 /* It's possible that a vcpu may have a stale reference to our
560 cr3, because its in lazy mode, and it hasn't yet flushed
561 its set of pending hypercalls yet. In this case, we can
562 look at its actual current cr3 value, and force it to flush
563 if needed. */
564 for_each_online_cpu(cpu) {
565 if (per_cpu(xen_current_cr3, cpu) == __pa(mm->pgd))
566 cpu_set(cpu, mask);
567 }
568
569 if (!cpus_empty(mask))
570 xen_smp_call_function_mask(mask, drop_other_mm_ref, mm, 1);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700571}
572#else
573static void drop_mm_ref(struct mm_struct *mm)
574{
575 if (current->active_mm == mm)
576 load_cr3(swapper_pg_dir);
577}
578#endif
579
580/*
581 * While a process runs, Xen pins its pagetables, which means that the
582 * hypervisor forces it to be read-only, and it controls all updates
583 * to it. This means that all pagetable updates have to go via the
584 * hypervisor, which is moderately expensive.
585 *
586 * Since we're pulling the pagetable down, we switch to use init_mm,
587 * unpin old process pagetable and mark it all read-write, which
588 * allows further operations on it to be simple memory accesses.
589 *
590 * The only subtle point is that another CPU may be still using the
591 * pagetable because of lazy tlb flushing. This means we need need to
592 * switch all CPUs off this pagetable before we can unpin it.
593 */
594void xen_exit_mmap(struct mm_struct *mm)
595{
596 get_cpu(); /* make sure we don't move around */
597 drop_mm_ref(mm);
598 put_cpu();
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700599
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700600 spin_lock(&mm->page_table_lock);
Jeremy Fitzhardingedf912ea2007-09-25 11:50:00 -0700601
602 /* pgd may not be pinned in the error exit path of execve */
603 if (PagePinned(virt_to_page(mm->pgd)))
604 xen_pgd_unpin(mm->pgd);
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700605
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700606 spin_unlock(&mm->page_table_lock);
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -0700607}