Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 1 | /* |
Liu Yu | dd9ebf1f | 2011-06-14 18:35:14 -0500 | [diff] [blame] | 2 | * Copyright (C) 2008-2011 Freescale Semiconductor, Inc. All rights reserved. |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 3 | * |
| 4 | * Author: Yu Liu, yu.liu@freescale.com |
| 5 | * |
| 6 | * Description: |
| 7 | * This file is based on arch/powerpc/kvm/44x_tlb.h, |
| 8 | * by Hollis Blanchard <hollisb@us.ibm.com>. |
| 9 | * |
| 10 | * This program is free software; you can redistribute it and/or modify |
| 11 | * it under the terms of the GNU General Public License, version 2, as |
| 12 | * published by the Free Software Foundation. |
| 13 | */ |
| 14 | |
| 15 | #ifndef __KVM_E500_TLB_H__ |
| 16 | #define __KVM_E500_TLB_H__ |
| 17 | |
| 18 | #include <linux/kvm_host.h> |
Liu Yu | 0cfb50e | 2009-06-05 14:54:29 +0800 | [diff] [blame] | 19 | #include <asm/mmu-book3e.h> |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 20 | #include <asm/tlb.h> |
| 21 | #include <asm/kvm_e500.h> |
| 22 | |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 23 | /* This geometry is the legacy default -- can be overridden by userspace */ |
| 24 | #define KVM_E500_TLB0_WAY_SIZE 128 |
| 25 | #define KVM_E500_TLB0_WAY_NUM 2 |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 26 | |
| 27 | #define KVM_E500_TLB0_SIZE (KVM_E500_TLB0_WAY_SIZE * KVM_E500_TLB0_WAY_NUM) |
| 28 | #define KVM_E500_TLB1_SIZE 16 |
| 29 | |
| 30 | #define index_of(tlbsel, esel) (((tlbsel) << 16) | ((esel) & 0xFFFF)) |
| 31 | #define tlbsel_of(index) ((index) >> 16) |
| 32 | #define esel_of(index) ((index) & 0xFFFF) |
| 33 | |
| 34 | #define E500_TLB_USER_PERM_MASK (MAS3_UX|MAS3_UR|MAS3_UW) |
| 35 | #define E500_TLB_SUPER_PERM_MASK (MAS3_SX|MAS3_SR|MAS3_SW) |
| 36 | #define MAS2_ATTRIB_MASK \ |
Liu Yu | 046a48b | 2009-03-17 16:57:46 +0800 | [diff] [blame] | 37 | (MAS2_X0 | MAS2_X1) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 38 | #define MAS3_ATTRIB_MASK \ |
| 39 | (MAS3_U0 | MAS3_U1 | MAS3_U2 | MAS3_U3 \ |
| 40 | | E500_TLB_USER_PERM_MASK | E500_TLB_SUPER_PERM_MASK) |
| 41 | |
| 42 | extern void kvmppc_dump_tlbs(struct kvm_vcpu *); |
Liu Yu | b0a1835 | 2009-02-17 16:52:08 +0800 | [diff] [blame] | 43 | extern int kvmppc_e500_emul_mt_mmucsr0(struct kvmppc_vcpu_e500 *, ulong); |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 44 | extern int kvmppc_e500_emul_tlbwe(struct kvm_vcpu *); |
| 45 | extern int kvmppc_e500_emul_tlbre(struct kvm_vcpu *); |
| 46 | extern int kvmppc_e500_emul_tlbivax(struct kvm_vcpu *, int, int); |
| 47 | extern int kvmppc_e500_emul_tlbsx(struct kvm_vcpu *, int); |
| 48 | extern int kvmppc_e500_tlb_search(struct kvm_vcpu *, gva_t, unsigned int, int); |
| 49 | extern void kvmppc_e500_tlb_put(struct kvm_vcpu *); |
| 50 | extern void kvmppc_e500_tlb_load(struct kvm_vcpu *, int); |
| 51 | extern int kvmppc_e500_tlb_init(struct kvmppc_vcpu_e500 *); |
| 52 | extern void kvmppc_e500_tlb_uninit(struct kvmppc_vcpu_e500 *); |
| 53 | extern void kvmppc_e500_tlb_setup(struct kvmppc_vcpu_e500 *); |
Liu Yu | dd9ebf1f | 2011-06-14 18:35:14 -0500 | [diff] [blame] | 54 | extern void kvmppc_e500_recalc_shadow_pid(struct kvmppc_vcpu_e500 *); |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 55 | |
| 56 | /* TLB helper functions */ |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 57 | static inline unsigned int |
| 58 | get_tlb_size(const struct kvm_book3e_206_tlb_entry *tlbe) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 59 | { |
Liu Yu | 0cfb50e | 2009-06-05 14:54:29 +0800 | [diff] [blame] | 60 | return (tlbe->mas1 >> 7) & 0x1f; |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 61 | } |
| 62 | |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 63 | static inline gva_t get_tlb_eaddr(const struct kvm_book3e_206_tlb_entry *tlbe) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 64 | { |
| 65 | return tlbe->mas2 & 0xfffff000; |
| 66 | } |
| 67 | |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 68 | static inline u64 get_tlb_bytes(const struct kvm_book3e_206_tlb_entry *tlbe) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 69 | { |
| 70 | unsigned int pgsize = get_tlb_size(tlbe); |
Liu Yu | 0cfb50e | 2009-06-05 14:54:29 +0800 | [diff] [blame] | 71 | return 1ULL << 10 << pgsize; |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 72 | } |
| 73 | |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 74 | static inline gva_t get_tlb_end(const struct kvm_book3e_206_tlb_entry *tlbe) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 75 | { |
| 76 | u64 bytes = get_tlb_bytes(tlbe); |
| 77 | return get_tlb_eaddr(tlbe) + bytes - 1; |
| 78 | } |
| 79 | |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 80 | static inline u64 get_tlb_raddr(const struct kvm_book3e_206_tlb_entry *tlbe) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 81 | { |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 82 | return tlbe->mas7_3 & ~0xfffULL; |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 83 | } |
| 84 | |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 85 | static inline unsigned int |
| 86 | get_tlb_tid(const struct kvm_book3e_206_tlb_entry *tlbe) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 87 | { |
| 88 | return (tlbe->mas1 >> 16) & 0xff; |
| 89 | } |
| 90 | |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 91 | static inline unsigned int |
| 92 | get_tlb_ts(const struct kvm_book3e_206_tlb_entry *tlbe) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 93 | { |
| 94 | return (tlbe->mas1 >> 12) & 0x1; |
| 95 | } |
| 96 | |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 97 | static inline unsigned int |
| 98 | get_tlb_v(const struct kvm_book3e_206_tlb_entry *tlbe) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 99 | { |
| 100 | return (tlbe->mas1 >> 31) & 0x1; |
| 101 | } |
| 102 | |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 103 | static inline unsigned int |
| 104 | get_tlb_iprot(const struct kvm_book3e_206_tlb_entry *tlbe) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 105 | { |
| 106 | return (tlbe->mas1 >> 30) & 0x1; |
| 107 | } |
| 108 | |
| 109 | static inline unsigned int get_cur_pid(struct kvm_vcpu *vcpu) |
| 110 | { |
| 111 | return vcpu->arch.pid & 0xff; |
| 112 | } |
| 113 | |
Liu Yu | dd9ebf1f | 2011-06-14 18:35:14 -0500 | [diff] [blame] | 114 | static inline unsigned int get_cur_as(struct kvm_vcpu *vcpu) |
| 115 | { |
| 116 | return !!(vcpu->arch.shared->msr & (MSR_IS | MSR_DS)); |
| 117 | } |
| 118 | |
| 119 | static inline unsigned int get_cur_pr(struct kvm_vcpu *vcpu) |
| 120 | { |
| 121 | return !!(vcpu->arch.shared->msr & MSR_PR); |
| 122 | } |
| 123 | |
Scott Wood | b590497 | 2011-11-08 18:23:30 -0600 | [diff] [blame] | 124 | static inline unsigned int get_cur_spid(const struct kvm_vcpu *vcpu) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 125 | { |
Scott Wood | b590497 | 2011-11-08 18:23:30 -0600 | [diff] [blame] | 126 | return (vcpu->arch.shared->mas6 >> 16) & 0xff; |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 127 | } |
| 128 | |
Scott Wood | b590497 | 2011-11-08 18:23:30 -0600 | [diff] [blame] | 129 | static inline unsigned int get_cur_sas(const struct kvm_vcpu *vcpu) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 130 | { |
Scott Wood | b590497 | 2011-11-08 18:23:30 -0600 | [diff] [blame] | 131 | return vcpu->arch.shared->mas6 & 0x1; |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 132 | } |
| 133 | |
Scott Wood | b590497 | 2011-11-08 18:23:30 -0600 | [diff] [blame] | 134 | static inline unsigned int get_tlb_tlbsel(const struct kvm_vcpu *vcpu) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 135 | { |
| 136 | /* |
| 137 | * Manual says that tlbsel has 2 bits wide. |
Liu Yu | fb2838d | 2009-01-14 10:47:37 -0600 | [diff] [blame] | 138 | * Since we only have two TLBs, only lower bit is used. |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 139 | */ |
Scott Wood | b590497 | 2011-11-08 18:23:30 -0600 | [diff] [blame] | 140 | return (vcpu->arch.shared->mas0 >> 28) & 0x1; |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 141 | } |
| 142 | |
Scott Wood | b590497 | 2011-11-08 18:23:30 -0600 | [diff] [blame] | 143 | static inline unsigned int get_tlb_nv_bit(const struct kvm_vcpu *vcpu) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 144 | { |
Scott Wood | b590497 | 2011-11-08 18:23:30 -0600 | [diff] [blame] | 145 | return vcpu->arch.shared->mas0 & 0xfff; |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 146 | } |
| 147 | |
Scott Wood | b590497 | 2011-11-08 18:23:30 -0600 | [diff] [blame] | 148 | static inline unsigned int get_tlb_esel_bit(const struct kvm_vcpu *vcpu) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 149 | { |
Scott Wood | b590497 | 2011-11-08 18:23:30 -0600 | [diff] [blame] | 150 | return (vcpu->arch.shared->mas0 >> 16) & 0xfff; |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 151 | } |
| 152 | |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 153 | static inline int tlbe_is_host_safe(const struct kvm_vcpu *vcpu, |
Scott Wood | dc83b8b | 2011-08-18 15:25:21 -0500 | [diff] [blame] | 154 | const struct kvm_book3e_206_tlb_entry *tlbe) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 155 | { |
| 156 | gpa_t gpa; |
| 157 | |
| 158 | if (!get_tlb_v(tlbe)) |
| 159 | return 0; |
| 160 | |
| 161 | /* Does it match current guest AS? */ |
| 162 | /* XXX what about IS != DS? */ |
Alexander Graf | 666e725 | 2010-07-29 14:47:43 +0200 | [diff] [blame] | 163 | if (get_tlb_ts(tlbe) != !!(vcpu->arch.shared->msr & MSR_IS)) |
Hollis Blanchard | bc8080c | 2009-01-03 16:23:10 -0600 | [diff] [blame] | 164 | return 0; |
| 165 | |
| 166 | gpa = get_tlb_raddr(tlbe); |
| 167 | if (!gfn_to_memslot(vcpu->kvm, gpa >> PAGE_SHIFT)) |
| 168 | /* Mapping is not for RAM. */ |
| 169 | return 0; |
| 170 | |
| 171 | return 1; |
| 172 | } |
| 173 | |
| 174 | #endif /* __KVM_E500_TLB_H__ */ |