Vitaly Kuznetsov | 7e0563d | 2017-04-04 14:48:17 +0200 | [diff] [blame] | 1 | #include <linux/pfn.h> |
| 2 | #include <asm/xen/page.h> |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 3 | #include <asm/xen/hypercall.h> |
Jeremy Fitzhardinge | c0011db | 2010-02-04 14:46:34 -0800 | [diff] [blame] | 4 | #include <xen/interface/memory.h> |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 5 | |
Jeremy Fitzhardinge | f4f97b3 | 2007-07-17 18:37:05 -0700 | [diff] [blame] | 6 | #include "multicalls.h" |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 7 | #include "mmu.h" |
Jeremy Fitzhardinge | 994025c | 2008-08-20 17:02:19 -0700 | [diff] [blame] | 8 | |
Alex Nixon | 19001c8 | 2009-02-09 12:05:46 -0800 | [diff] [blame] | 9 | /* |
| 10 | * Protects atomic reservation decrease/increase against concurrent increases. |
Daniel Kiper | 06f521d | 2011-03-08 22:45:46 +0100 | [diff] [blame] | 11 | * Also protects non-atomic updates of current_pages and balloon lists. |
Alex Nixon | 19001c8 | 2009-02-09 12:05:46 -0800 | [diff] [blame] | 12 | */ |
| 13 | DEFINE_SPINLOCK(xen_reservation_lock); |
| 14 | |
Jeremy Fitzhardinge | 9976b39 | 2009-02-27 09:19:26 -0800 | [diff] [blame] | 15 | unsigned long arbitrary_virt_to_mfn(void *vaddr) |
| 16 | { |
| 17 | xmaddr_t maddr = arbitrary_virt_to_machine(vaddr); |
| 18 | |
| 19 | return PFN_DOWN(maddr.maddr); |
| 20 | } |
| 21 | |
Jeremy Fitzhardinge | ce803e7 | 2008-07-08 15:06:55 -0700 | [diff] [blame] | 22 | xmaddr_t arbitrary_virt_to_machine(void *vaddr) |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 23 | { |
Jeremy Fitzhardinge | ce803e7 | 2008-07-08 15:06:55 -0700 | [diff] [blame] | 24 | unsigned long address = (unsigned long)vaddr; |
Harvey Harrison | da7bfc5 | 2008-02-09 23:24:08 +0100 | [diff] [blame] | 25 | unsigned int level; |
Chris Lalancette | 9f32d21 | 2008-10-23 17:40:25 -0700 | [diff] [blame] | 26 | pte_t *pte; |
| 27 | unsigned offset; |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 28 | |
Chris Lalancette | 9f32d21 | 2008-10-23 17:40:25 -0700 | [diff] [blame] | 29 | /* |
| 30 | * if the PFN is in the linear mapped vaddr range, we can just use |
| 31 | * the (quick) virt_to_machine() p2m lookup |
| 32 | */ |
| 33 | if (virt_addr_valid(vaddr)) |
| 34 | return virt_to_machine(vaddr); |
| 35 | |
| 36 | /* otherwise we have to do a (slower) full page-table walk */ |
| 37 | |
| 38 | pte = lookup_address(address, &level); |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 39 | BUG_ON(pte == NULL); |
Chris Lalancette | 9f32d21 | 2008-10-23 17:40:25 -0700 | [diff] [blame] | 40 | offset = address & ~PAGE_MASK; |
Jeremy Fitzhardinge | ebd879e | 2008-07-08 15:06:54 -0700 | [diff] [blame] | 41 | return XMADDR(((phys_addr_t)pte_mfn(*pte) << PAGE_SHIFT) + offset); |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 42 | } |
Stephen Rothwell | de23be5 | 2011-01-15 10:36:26 +1100 | [diff] [blame] | 43 | EXPORT_SYMBOL_GPL(arbitrary_virt_to_machine); |
Jeremy Fitzhardinge | 3b827c1 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 44 | |
Juergen Gross | c71e6d8 | 2017-05-18 17:46:48 +0200 | [diff] [blame] | 45 | static void xen_flush_tlb_all(void) |
Konrad Rzeszutek Wilk | 95a7d76 | 2012-10-31 12:38:31 -0400 | [diff] [blame] | 46 | { |
| 47 | struct mmuext_op *op; |
| 48 | struct multicall_space mcs; |
| 49 | |
| 50 | trace_xen_mmu_flush_tlb_all(0); |
| 51 | |
| 52 | preempt_disable(); |
| 53 | |
| 54 | mcs = xen_mc_entry(sizeof(*op)); |
| 55 | |
| 56 | op = mcs.args; |
| 57 | op->cmd = MMUEXT_TLB_FLUSH_ALL; |
| 58 | MULTI_mmuext_op(mcs.mc, op, 1, NULL, DOMID_SELF); |
| 59 | |
| 60 | xen_mc_issue(PARAVIRT_LAZY_MMU); |
| 61 | |
| 62 | preempt_enable(); |
| 63 | } |
Alex Nixon | 08bbc9d | 2009-02-09 12:05:46 -0800 | [diff] [blame] | 64 | |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 65 | #define REMAP_BATCH_SIZE 16 |
| 66 | |
| 67 | struct remap_data { |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 68 | xen_pfn_t *mfn; |
| 69 | bool contiguous; |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 70 | pgprot_t prot; |
| 71 | struct mmu_update *mmu_update; |
| 72 | }; |
| 73 | |
| 74 | static int remap_area_mfn_pte_fn(pte_t *ptep, pgtable_t token, |
| 75 | unsigned long addr, void *data) |
| 76 | { |
| 77 | struct remap_data *rmd = data; |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 78 | pte_t pte = pte_mkspecial(mfn_pte(*rmd->mfn, rmd->prot)); |
| 79 | |
Adam Buchbinder | 6a6256f | 2016-02-23 15:34:30 -0800 | [diff] [blame] | 80 | /* If we have a contiguous range, just update the mfn itself, |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 81 | else update pointer to be "next mfn". */ |
| 82 | if (rmd->contiguous) |
| 83 | (*rmd->mfn)++; |
| 84 | else |
| 85 | rmd->mfn++; |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 86 | |
Jeremy Fitzhardinge | d510831 | 2010-12-22 13:09:40 -0800 | [diff] [blame] | 87 | rmd->mmu_update->ptr = virt_to_machine(ptep).maddr; |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 88 | rmd->mmu_update->val = pte_val_ma(pte); |
| 89 | rmd->mmu_update++; |
| 90 | |
| 91 | return 0; |
| 92 | } |
| 93 | |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 94 | static int do_remap_gfn(struct vm_area_struct *vma, |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 95 | unsigned long addr, |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 96 | xen_pfn_t *gfn, int nr, |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 97 | int *err_ptr, pgprot_t prot, |
| 98 | unsigned domid, |
| 99 | struct page **pages) |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 100 | { |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 101 | int err = 0; |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 102 | struct remap_data rmd; |
| 103 | struct mmu_update mmu_update[REMAP_BATCH_SIZE]; |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 104 | unsigned long range; |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 105 | int mapped = 0; |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 106 | |
Konstantin Khlebnikov | 314e51b | 2012-10-08 16:29:02 -0700 | [diff] [blame] | 107 | BUG_ON(!((vma->vm_flags & (VM_PFNMAP | VM_IO)) == (VM_PFNMAP | VM_IO))); |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 108 | |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 109 | rmd.mfn = gfn; |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 110 | rmd.prot = prot; |
Adam Buchbinder | 6a6256f | 2016-02-23 15:34:30 -0800 | [diff] [blame] | 111 | /* We use the err_ptr to indicate if there we are doing a contiguous |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 112 | * mapping or a discontigious mapping. */ |
| 113 | rmd.contiguous = !err_ptr; |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 114 | |
| 115 | while (nr) { |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 116 | int index = 0; |
| 117 | int done = 0; |
| 118 | int batch = min(REMAP_BATCH_SIZE, nr); |
| 119 | int batch_left = batch; |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 120 | range = (unsigned long)batch << PAGE_SHIFT; |
| 121 | |
| 122 | rmd.mmu_update = mmu_update; |
| 123 | err = apply_to_page_range(vma->vm_mm, addr, range, |
| 124 | remap_area_mfn_pte_fn, &rmd); |
| 125 | if (err) |
| 126 | goto out; |
| 127 | |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 128 | /* We record the error for each page that gives an error, but |
| 129 | * continue mapping until the whole set is done */ |
| 130 | do { |
| 131 | int i; |
| 132 | |
| 133 | err = HYPERVISOR_mmu_update(&mmu_update[index], |
| 134 | batch_left, &done, domid); |
| 135 | |
| 136 | /* |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 137 | * @err_ptr may be the same buffer as @gfn, so |
| 138 | * only clear it after each chunk of @gfn is |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 139 | * used. |
| 140 | */ |
| 141 | if (err_ptr) { |
| 142 | for (i = index; i < index + done; i++) |
| 143 | err_ptr[i] = 0; |
| 144 | } |
| 145 | if (err < 0) { |
| 146 | if (!err_ptr) |
| 147 | goto out; |
| 148 | err_ptr[i] = err; |
| 149 | done++; /* Skip failed frame. */ |
| 150 | } else |
| 151 | mapped += done; |
| 152 | batch_left -= done; |
| 153 | index += done; |
| 154 | } while (batch_left); |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 155 | |
| 156 | nr -= batch; |
| 157 | addr += range; |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 158 | if (err_ptr) |
| 159 | err_ptr += batch; |
David Vrabel | 914beb9 | 2015-10-28 13:39:05 +0000 | [diff] [blame] | 160 | cond_resched(); |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 161 | } |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 162 | out: |
| 163 | |
Konrad Rzeszutek Wilk | 95a7d76 | 2012-10-31 12:38:31 -0400 | [diff] [blame] | 164 | xen_flush_tlb_all(); |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 165 | |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 166 | return err < 0 ? err : mapped; |
| 167 | } |
| 168 | |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 169 | int xen_remap_domain_gfn_range(struct vm_area_struct *vma, |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 170 | unsigned long addr, |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 171 | xen_pfn_t gfn, int nr, |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 172 | pgprot_t prot, unsigned domid, |
| 173 | struct page **pages) |
| 174 | { |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 175 | return do_remap_gfn(vma, addr, &gfn, nr, NULL, prot, domid, pages); |
Ian Campbell | de1ef20 | 2009-05-21 10:09:46 +0100 | [diff] [blame] | 176 | } |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 177 | EXPORT_SYMBOL_GPL(xen_remap_domain_gfn_range); |
Ian Campbell | 9a032e3 | 2012-10-17 13:37:49 -0700 | [diff] [blame] | 178 | |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 179 | int xen_remap_domain_gfn_array(struct vm_area_struct *vma, |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 180 | unsigned long addr, |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 181 | xen_pfn_t *gfn, int nr, |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 182 | int *err_ptr, pgprot_t prot, |
| 183 | unsigned domid, struct page **pages) |
| 184 | { |
| 185 | /* We BUG_ON because it's a programmer error to pass a NULL err_ptr, |
| 186 | * and the consequences later is quite hard to detect what the actual |
| 187 | * cause of "wrong memory was mapped in". |
| 188 | */ |
| 189 | BUG_ON(err_ptr == NULL); |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 190 | return do_remap_gfn(vma, addr, gfn, nr, err_ptr, prot, domid, pages); |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 191 | } |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 192 | EXPORT_SYMBOL_GPL(xen_remap_domain_gfn_array); |
David Vrabel | 4e8c0c8 | 2015-03-11 14:49:57 +0000 | [diff] [blame] | 193 | |
Ian Campbell | 9a032e3 | 2012-10-17 13:37:49 -0700 | [diff] [blame] | 194 | /* Returns: 0 success */ |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 195 | int xen_unmap_domain_gfn_range(struct vm_area_struct *vma, |
Ian Campbell | 9a032e3 | 2012-10-17 13:37:49 -0700 | [diff] [blame] | 196 | int numpgs, struct page **pages) |
| 197 | { |
| 198 | if (!pages || !xen_feature(XENFEAT_auto_translated_physmap)) |
| 199 | return 0; |
| 200 | |
| 201 | return -EINVAL; |
| 202 | } |
Julien Grall | a13d720 | 2015-08-07 17:34:41 +0100 | [diff] [blame] | 203 | EXPORT_SYMBOL_GPL(xen_unmap_domain_gfn_range); |