2 * This program is free software; you can redistribute it and/or modify
3 * it under the terms of the GNU General Public License, version 2, as
4 * published by the Free Software Foundation.
6 * This program is distributed in the hope that it will be useful,
7 * but WITHOUT ANY WARRANTY; without even the implied warranty of
8 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
9 * GNU General Public License for more details.
11 * You should have received a copy of the GNU General Public License
12 * along with this program; if not, write to the Free Software
13 * Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
15 * Copyright SUSE Linux Products GmbH 2009
17 * Authors: Alexander Graf <agraf@suse.de>
20 #include <linux/types.h>
21 #include <linux/string.h>
22 #include <linux/kvm.h>
23 #include <linux/kvm_host.h>
24 #include <linux/highmem.h>
26 #include <asm/tlbflush.h>
27 #include <asm/kvm_ppc.h>
28 #include <asm/kvm_book3s.h>
30 /* #define DEBUG_MMU */
33 #define dprintk(X...) printk(KERN_INFO X)
35 #define dprintk(X...) do { } while(0)
38 static void kvmppc_mmu_book3s_64_reset_msr(struct kvm_vcpu *vcpu)
40 kvmppc_set_msr(vcpu, MSR_SF);
43 static struct kvmppc_slb *kvmppc_mmu_book3s_64_find_slbe(
44 struct kvm_vcpu *vcpu,
48 u64 esid = GET_ESID(eaddr);
49 u64 esid_1t = GET_ESID_1T(eaddr);
51 for (i = 0; i < vcpu->arch.slb_nr; i++) {
54 if (!vcpu->arch.slb[i].valid)
57 if (vcpu->arch.slb[i].tb)
60 if (vcpu->arch.slb[i].esid == cmp_esid)
61 return &vcpu->arch.slb[i];
64 dprintk("KVM: No SLB entry found for 0x%lx [%llx | %llx]\n",
65 eaddr, esid, esid_1t);
66 for (i = 0; i < vcpu->arch.slb_nr; i++) {
67 if (vcpu->arch.slb[i].vsid)
68 dprintk(" %d: %c%c%c %llx %llx\n", i,
69 vcpu->arch.slb[i].valid ? 'v' : ' ',
70 vcpu->arch.slb[i].large ? 'l' : ' ',
71 vcpu->arch.slb[i].tb ? 't' : ' ',
72 vcpu->arch.slb[i].esid,
73 vcpu->arch.slb[i].vsid);
79 static u64 kvmppc_mmu_book3s_64_ea_to_vp(struct kvm_vcpu *vcpu, gva_t eaddr,
82 struct kvmppc_slb *slb;
84 slb = kvmppc_mmu_book3s_64_find_slbe(vcpu, eaddr);
89 return (((u64)eaddr >> 12) & 0xfffffff) |
90 (((u64)slb->vsid) << 28);
92 return (((u64)eaddr >> 12) & 0xffff) | (((u64)slb->vsid) << 16);
95 static int kvmppc_mmu_book3s_64_get_pagesize(struct kvmppc_slb *slbe)
97 return slbe->large ? 24 : 12;
100 static u32 kvmppc_mmu_book3s_64_get_page(struct kvmppc_slb *slbe, gva_t eaddr)
102 int p = kvmppc_mmu_book3s_64_get_pagesize(slbe);
103 return ((eaddr & 0xfffffff) >> p);
106 static hva_t kvmppc_mmu_book3s_64_get_pteg(
107 struct kvmppc_vcpu_book3s *vcpu_book3s,
108 struct kvmppc_slb *slbe, gva_t eaddr,
111 u64 hash, pteg, htabsize;
115 page = kvmppc_mmu_book3s_64_get_page(slbe, eaddr);
116 htabsize = ((1 << ((vcpu_book3s->sdr1 & 0x1f) + 11)) - 1);
118 hash = slbe->vsid ^ page;
121 hash &= ((1ULL << 39ULL) - 1ULL);
125 pteg = vcpu_book3s->sdr1 & 0xfffffffffffc0000ULL;
128 dprintk("MMU: page=0x%x sdr1=0x%llx pteg=0x%llx vsid=0x%llx\n",
129 page, vcpu_book3s->sdr1, pteg, slbe->vsid);
131 /* When running a PAPR guest, SDR1 contains a HVA address instead
133 if (vcpu_book3s->vcpu.arch.papr_enabled)
136 r = gfn_to_hva(vcpu_book3s->vcpu.kvm, pteg >> PAGE_SHIFT);
138 if (kvm_is_error_hva(r))
140 return r | (pteg & ~PAGE_MASK);
143 static u64 kvmppc_mmu_book3s_64_get_avpn(struct kvmppc_slb *slbe, gva_t eaddr)
145 int p = kvmppc_mmu_book3s_64_get_pagesize(slbe);
148 avpn = kvmppc_mmu_book3s_64_get_page(slbe, eaddr);
149 avpn |= slbe->vsid << (28 - p);
152 avpn >>= ((80 - p) - 56) - 8;
159 static int kvmppc_mmu_book3s_64_xlate(struct kvm_vcpu *vcpu, gva_t eaddr,
160 struct kvmppc_pte *gpte, bool data)
162 struct kvmppc_vcpu_book3s *vcpu_book3s = to_book3s(vcpu);
163 struct kvmppc_slb *slbe;
170 bool perm_err = false;
172 ulong mp_ea = vcpu->arch.magic_page_ea;
174 /* Magic page override */
175 if (unlikely(mp_ea) &&
176 unlikely((eaddr & ~0xfffULL) == (mp_ea & ~0xfffULL)) &&
177 !(vcpu->arch.shared->msr & MSR_PR)) {
179 gpte->vpage = kvmppc_mmu_book3s_64_ea_to_vp(vcpu, eaddr, data);
180 gpte->raddr = vcpu->arch.magic_page_pa | (gpte->raddr & 0xfff);
181 gpte->raddr &= KVM_PAM;
182 gpte->may_execute = true;
183 gpte->may_read = true;
184 gpte->may_write = true;
189 slbe = kvmppc_mmu_book3s_64_find_slbe(vcpu, eaddr);
194 ptegp = kvmppc_mmu_book3s_64_get_pteg(vcpu_book3s, slbe, eaddr, second);
195 if (kvm_is_error_hva(ptegp))
198 avpn = kvmppc_mmu_book3s_64_get_avpn(slbe, eaddr);
200 if(copy_from_user(pteg, (void __user *)ptegp, sizeof(pteg))) {
201 printk(KERN_ERR "KVM can't copy data from 0x%lx!\n", ptegp);
205 if ((vcpu->arch.shared->msr & MSR_PR) && slbe->Kp)
207 else if (!(vcpu->arch.shared->msr & MSR_PR) && slbe->Ks)
210 for (i=0; i<16; i+=2) {
215 if (!(v & HPTE_V_VALID))
218 if ((v & HPTE_V_SECONDARY) != second)
222 if (HPTE_V_AVPN_VAL(avpn) == HPTE_V_AVPN_VAL(v)) {
223 u8 pp = (r & HPTE_R_PP) | key;
224 int eaddr_mask = 0xFFF;
227 gpte->vpage = kvmppc_mmu_book3s_64_ea_to_vp(vcpu,
231 eaddr_mask = 0xFFFFFF;
232 gpte->raddr = (r & HPTE_R_RPN) | (eaddr & eaddr_mask);
233 gpte->may_execute = ((r & HPTE_R_N) ? false : true);
234 gpte->may_read = false;
235 gpte->may_write = false;
242 gpte->may_write = true;
247 gpte->may_read = true;
251 if (!gpte->may_read) {
256 dprintk("KVM MMU: Translated 0x%lx [0x%llx] -> 0x%llx "
258 eaddr, avpn, gpte->vpage, gpte->raddr);
264 /* Update PTE R and C bits, so the guest's swapper knows we used the
267 u32 oldr = pteg[i+1];
269 if (gpte->may_read) {
270 /* Set the accessed flag */
271 pteg[i+1] |= HPTE_R_R;
273 if (gpte->may_write) {
274 /* Set the dirty flag */
275 pteg[i+1] |= HPTE_R_C;
277 dprintk("KVM: Mapping read-only page!\n");
280 /* Write back into the PTEG */
281 if (pteg[i+1] != oldr)
282 copy_to_user((void __user *)ptegp, pteg, sizeof(pteg));
286 dprintk("KVM MMU: No PTE found (ea=0x%lx sdr1=0x%llx "
288 eaddr, to_book3s(vcpu)->sdr1, ptegp);
289 for (i = 0; i < 16; i += 2)
290 dprintk(" %02d: 0x%llx - 0x%llx (0x%llx)\n",
291 i, pteg[i], pteg[i+1], avpn);
294 second = HPTE_V_SECONDARY;
310 dprintk("KVM MMU: Trigger segment fault\n");
314 static void kvmppc_mmu_book3s_64_slbmte(struct kvm_vcpu *vcpu, u64 rs, u64 rb)
316 struct kvmppc_vcpu_book3s *vcpu_book3s;
319 struct kvmppc_slb *slbe;
321 dprintk("KVM MMU: slbmte(0x%llx, 0x%llx)\n", rs, rb);
323 vcpu_book3s = to_book3s(vcpu);
326 esid_1t = GET_ESID_1T(rb);
329 if (slb_nr > vcpu->arch.slb_nr)
332 slbe = &vcpu->arch.slb[slb_nr];
334 slbe->large = (rs & SLB_VSID_L) ? 1 : 0;
335 slbe->tb = (rs & SLB_VSID_B_1T) ? 1 : 0;
336 slbe->esid = slbe->tb ? esid_1t : esid;
337 slbe->vsid = rs >> 12;
338 slbe->valid = (rb & SLB_ESID_V) ? 1 : 0;
339 slbe->Ks = (rs & SLB_VSID_KS) ? 1 : 0;
340 slbe->Kp = (rs & SLB_VSID_KP) ? 1 : 0;
341 slbe->nx = (rs & SLB_VSID_N) ? 1 : 0;
342 slbe->class = (rs & SLB_VSID_C) ? 1 : 0;
344 slbe->orige = rb & (ESID_MASK | SLB_ESID_V);
347 /* Map the new segment */
348 kvmppc_mmu_map_segment(vcpu, esid << SID_SHIFT);
351 static u64 kvmppc_mmu_book3s_64_slbmfee(struct kvm_vcpu *vcpu, u64 slb_nr)
353 struct kvmppc_slb *slbe;
355 if (slb_nr > vcpu->arch.slb_nr)
358 slbe = &vcpu->arch.slb[slb_nr];
363 static u64 kvmppc_mmu_book3s_64_slbmfev(struct kvm_vcpu *vcpu, u64 slb_nr)
365 struct kvmppc_slb *slbe;
367 if (slb_nr > vcpu->arch.slb_nr)
370 slbe = &vcpu->arch.slb[slb_nr];
375 static void kvmppc_mmu_book3s_64_slbie(struct kvm_vcpu *vcpu, u64 ea)
377 struct kvmppc_slb *slbe;
379 dprintk("KVM MMU: slbie(0x%llx)\n", ea);
381 slbe = kvmppc_mmu_book3s_64_find_slbe(vcpu, ea);
386 dprintk("KVM MMU: slbie(0x%llx, 0x%llx)\n", ea, slbe->esid);
390 kvmppc_mmu_map_segment(vcpu, ea);
393 static void kvmppc_mmu_book3s_64_slbia(struct kvm_vcpu *vcpu)
397 dprintk("KVM MMU: slbia()\n");
399 for (i = 1; i < vcpu->arch.slb_nr; i++)
400 vcpu->arch.slb[i].valid = false;
402 if (vcpu->arch.shared->msr & MSR_IR) {
403 kvmppc_mmu_flush_segments(vcpu);
404 kvmppc_mmu_map_segment(vcpu, kvmppc_get_pc(vcpu));
408 static void kvmppc_mmu_book3s_64_mtsrin(struct kvm_vcpu *vcpu, u32 srnum,
414 * According to Book3 2.01 mtsrin is implemented as:
416 * The SLB entry specified by (RB)32:35 is loaded from register
419 * SLBE Bit Source SLB Field
421 * 0:31 0x0000_0000 ESID-0:31
422 * 32:35 (RB)32:35 ESID-32:35
424 * 37:61 0x00_0000|| 0b0 VSID-0:24
425 * 62:88 (RS)37:63 VSID-25:51
426 * 89:91 (RS)33:35 Ks Kp N
427 * 92 (RS)36 L ((RS)36 must be 0b0)
431 dprintk("KVM MMU: mtsrin(0x%x, 0x%lx)\n", srnum, value);
434 rb |= (srnum & 0xf) << 28;
435 /* Set the valid bit */
441 rs |= (value & 0xfffffff) << 12;
443 rs |= ((value >> 28) & 0x7) << 9;
445 kvmppc_mmu_book3s_64_slbmte(vcpu, rs, rb);
448 static void kvmppc_mmu_book3s_64_tlbie(struct kvm_vcpu *vcpu, ulong va,
451 u64 mask = 0xFFFFFFFFFULL;
453 dprintk("KVM MMU: tlbie(0x%lx)\n", va);
456 mask = 0xFFFFFF000ULL;
457 kvmppc_mmu_pte_vflush(vcpu, va >> 12, mask);
460 static int kvmppc_mmu_book3s_64_esid_to_vsid(struct kvm_vcpu *vcpu, ulong esid,
463 ulong ea = esid << SID_SHIFT;
464 struct kvmppc_slb *slb;
466 ulong mp_ea = vcpu->arch.magic_page_ea;
468 if (vcpu->arch.shared->msr & (MSR_DR|MSR_IR)) {
469 slb = kvmppc_mmu_book3s_64_find_slbe(vcpu, ea);
474 switch (vcpu->arch.shared->msr & (MSR_DR|MSR_IR)) {
476 *vsid = VSID_REAL | esid;
479 *vsid = VSID_REAL_IR | gvsid;
482 *vsid = VSID_REAL_DR | gvsid;
495 if (vcpu->arch.shared->msr & MSR_PR)
501 /* Catch magic page case */
502 if (unlikely(mp_ea) &&
503 unlikely(esid == (mp_ea >> SID_SHIFT)) &&
504 !(vcpu->arch.shared->msr & MSR_PR)) {
505 *vsid = VSID_REAL | esid;
512 static bool kvmppc_mmu_book3s_64_is_dcbz32(struct kvm_vcpu *vcpu)
514 return (to_book3s(vcpu)->hid[5] & 0x80);
517 void kvmppc_mmu_book3s_64_init(struct kvm_vcpu *vcpu)
519 struct kvmppc_mmu *mmu = &vcpu->arch.mmu;
522 mmu->mtsrin = kvmppc_mmu_book3s_64_mtsrin;
523 mmu->slbmte = kvmppc_mmu_book3s_64_slbmte;
524 mmu->slbmfee = kvmppc_mmu_book3s_64_slbmfee;
525 mmu->slbmfev = kvmppc_mmu_book3s_64_slbmfev;
526 mmu->slbie = kvmppc_mmu_book3s_64_slbie;
527 mmu->slbia = kvmppc_mmu_book3s_64_slbia;
528 mmu->xlate = kvmppc_mmu_book3s_64_xlate;
529 mmu->reset_msr = kvmppc_mmu_book3s_64_reset_msr;
530 mmu->tlbie = kvmppc_mmu_book3s_64_tlbie;
531 mmu->esid_to_vsid = kvmppc_mmu_book3s_64_esid_to_vsid;
532 mmu->ea_to_vp = kvmppc_mmu_book3s_64_ea_to_vp;
533 mmu->is_dcbz32 = kvmppc_mmu_book3s_64_is_dcbz32;
535 vcpu->arch.hflags |= BOOK3S_HFLAG_SLB;