Alexander Graf | 3ae0789 | 2010-04-16 00:11:37 +0200 | [diff] [blame] | 1 | /* |
| 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. |
| 5 | * |
| 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. |
| 10 | * |
| 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. |
| 14 | * |
| 15 | * Copyright SUSE Linux Products GmbH 2010 |
| 16 | * |
| 17 | * Authors: Alexander Graf <agraf@suse.de> |
| 18 | */ |
| 19 | |
| 20 | #ifndef __ASM_KVM_BOOK3S_64_H__ |
| 21 | #define __ASM_KVM_BOOK3S_64_H__ |
| 22 | |
Paul Mackerras | 0eeede0 | 2016-09-02 17:20:43 +1000 | [diff] [blame] | 23 | #include <asm/book3s/64/mmu-hash.h> |
| 24 | |
David Gibson | aae0777 | 2016-12-20 16:49:02 +1100 | [diff] [blame] | 25 | /* Power architecture requires HPT is at least 256kiB, at most 64TiB */ |
| 26 | #define PPC_MIN_HPT_ORDER 18 |
| 27 | #define PPC_MAX_HPT_ORDER 46 |
| 28 | |
Aneesh Kumar K.V | 7aa7993 | 2013-10-07 22:17:51 +0530 | [diff] [blame] | 29 | #ifdef CONFIG_KVM_BOOK3S_PR_POSSIBLE |
Alexander Graf | 468a12c | 2011-12-09 14:44:13 +0100 | [diff] [blame] | 30 | static inline struct kvmppc_book3s_shadow_vcpu *svcpu_get(struct kvm_vcpu *vcpu) |
Alexander Graf | 3ae0789 | 2010-04-16 00:11:37 +0200 | [diff] [blame] | 31 | { |
Alexander Graf | 468a12c | 2011-12-09 14:44:13 +0100 | [diff] [blame] | 32 | preempt_disable(); |
Alexander Graf | 3ae0789 | 2010-04-16 00:11:37 +0200 | [diff] [blame] | 33 | return &get_paca()->shadow_vcpu; |
| 34 | } |
Alexander Graf | 468a12c | 2011-12-09 14:44:13 +0100 | [diff] [blame] | 35 | |
| 36 | static inline void svcpu_put(struct kvmppc_book3s_shadow_vcpu *svcpu) |
| 37 | { |
| 38 | preempt_enable(); |
| 39 | } |
Paul Mackerras | de56a94 | 2011-06-29 00:21:34 +0000 | [diff] [blame] | 40 | #endif |
Alexander Graf | 3ae0789 | 2010-04-16 00:11:37 +0200 | [diff] [blame] | 41 | |
Aneesh Kumar K.V | 9975f5e | 2013-10-07 22:17:52 +0530 | [diff] [blame] | 42 | #ifdef CONFIG_KVM_BOOK3S_HV_POSSIBLE |
Paul Mackerras | 9e04ba6 | 2017-01-30 21:21:44 +1100 | [diff] [blame] | 43 | |
| 44 | static inline bool kvm_is_radix(struct kvm *kvm) |
| 45 | { |
| 46 | return kvm->arch.radix; |
| 47 | } |
| 48 | |
Paul Mackerras | 32fad28 | 2012-05-04 02:32:53 +0000 | [diff] [blame] | 49 | #define KVM_DEFAULT_HPT_ORDER 24 /* 16MB HPT by default */ |
Paul Mackerras | 8936dda | 2011-12-12 12:27:39 +0000 | [diff] [blame] | 50 | #endif |
| 51 | |
Paul Mackerras | 075295d | 2011-12-12 12:30:16 +0000 | [diff] [blame] | 52 | /* |
| 53 | * We use a lock bit in HPTE dword 0 to synchronize updates and |
| 54 | * accesses to each HPTE, and another bit to indicate non-present |
| 55 | * HPTEs. |
| 56 | */ |
| 57 | #define HPTE_V_HVLOCK 0x40UL |
Paul Mackerras | 697d389 | 2011-12-12 12:36:37 +0000 | [diff] [blame] | 58 | #define HPTE_V_ABSENT 0x20UL |
Paul Mackerras | 075295d | 2011-12-12 12:30:16 +0000 | [diff] [blame] | 59 | |
Paul Mackerras | 44e5f6b | 2012-11-19 22:52:49 +0000 | [diff] [blame] | 60 | /* |
| 61 | * We use this bit in the guest_rpte field of the revmap entry |
| 62 | * to indicate a modified HPTE. |
| 63 | */ |
| 64 | #define HPTE_GR_MODIFIED (1ul << 62) |
| 65 | |
| 66 | /* These bits are reserved in the guest view of the HPTE */ |
| 67 | #define HPTE_GR_RESERVED HPTE_GR_MODIFIED |
| 68 | |
Alexander Graf | 6f22bd3 | 2014-06-11 10:16:06 +0200 | [diff] [blame] | 69 | static inline long try_lock_hpte(__be64 *hpte, unsigned long bits) |
Paul Mackerras | 075295d | 2011-12-12 12:30:16 +0000 | [diff] [blame] | 70 | { |
| 71 | unsigned long tmp, old; |
Alexander Graf | 6f22bd3 | 2014-06-11 10:16:06 +0200 | [diff] [blame] | 72 | __be64 be_lockbit, be_bits; |
| 73 | |
| 74 | /* |
| 75 | * We load/store in native endian, but the HTAB is in big endian. If |
| 76 | * we byte swap all data we apply on the PTE we're implicitly correct |
| 77 | * again. |
| 78 | */ |
| 79 | be_lockbit = cpu_to_be64(HPTE_V_HVLOCK); |
| 80 | be_bits = cpu_to_be64(bits); |
Paul Mackerras | 075295d | 2011-12-12 12:30:16 +0000 | [diff] [blame] | 81 | |
| 82 | asm volatile(" ldarx %0,0,%2\n" |
| 83 | " and. %1,%0,%3\n" |
| 84 | " bne 2f\n" |
Alexander Graf | 6f22bd3 | 2014-06-11 10:16:06 +0200 | [diff] [blame] | 85 | " or %0,%0,%4\n" |
Paul Mackerras | 075295d | 2011-12-12 12:30:16 +0000 | [diff] [blame] | 86 | " stdcx. %0,0,%2\n" |
| 87 | " beq+ 2f\n" |
Paul Mackerras | 8b5869a | 2012-10-15 01:20:50 +0000 | [diff] [blame] | 88 | " mr %1,%3\n" |
Paul Mackerras | 075295d | 2011-12-12 12:30:16 +0000 | [diff] [blame] | 89 | "2: isync" |
| 90 | : "=&r" (tmp), "=&r" (old) |
Alexander Graf | 6f22bd3 | 2014-06-11 10:16:06 +0200 | [diff] [blame] | 91 | : "r" (hpte), "r" (be_bits), "r" (be_lockbit) |
Paul Mackerras | 075295d | 2011-12-12 12:30:16 +0000 | [diff] [blame] | 92 | : "cc", "memory"); |
| 93 | return old == 0; |
| 94 | } |
| 95 | |
Aneesh Kumar K.V | a4bd6eb | 2015-03-20 20:39:43 +1100 | [diff] [blame] | 96 | static inline void unlock_hpte(__be64 *hpte, unsigned long hpte_v) |
| 97 | { |
| 98 | hpte_v &= ~HPTE_V_HVLOCK; |
| 99 | asm volatile(PPC_RELEASE_BARRIER "" : : : "memory"); |
| 100 | hpte[0] = cpu_to_be64(hpte_v); |
| 101 | } |
| 102 | |
| 103 | /* Without barrier */ |
| 104 | static inline void __unlock_hpte(__be64 *hpte, unsigned long hpte_v) |
| 105 | { |
| 106 | hpte_v &= ~HPTE_V_HVLOCK; |
| 107 | hpte[0] = cpu_to_be64(hpte_v); |
| 108 | } |
| 109 | |
Paul Mackerras | 8dc6cca | 2017-09-11 15:29:45 +1000 | [diff] [blame^] | 110 | /* |
| 111 | * These functions encode knowledge of the POWER7/8/9 hardware |
| 112 | * interpretations of the HPTE LP (large page size) field. |
| 113 | */ |
| 114 | static inline int kvmppc_hpte_page_shifts(unsigned long h, unsigned long l) |
| 115 | { |
| 116 | unsigned int lphi; |
| 117 | |
| 118 | if (!(h & HPTE_V_LARGE)) |
| 119 | return 12; /* 4kB */ |
| 120 | lphi = (l >> 16) & 0xf; |
| 121 | switch ((l >> 12) & 0xf) { |
| 122 | case 0: |
| 123 | return !lphi ? 24 : -1; /* 16MB */ |
| 124 | break; |
| 125 | case 1: |
| 126 | return 16; /* 64kB */ |
| 127 | break; |
| 128 | case 3: |
| 129 | return !lphi ? 34 : -1; /* 16GB */ |
| 130 | break; |
| 131 | case 7: |
| 132 | return (16 << 8) + 12; /* 64kB in 4kB */ |
| 133 | break; |
| 134 | case 8: |
| 135 | if (!lphi) |
| 136 | return (24 << 8) + 16; /* 16MB in 64kkB */ |
| 137 | if (lphi == 3) |
| 138 | return (24 << 8) + 12; /* 16MB in 4kB */ |
| 139 | break; |
| 140 | } |
| 141 | return -1; |
| 142 | } |
| 143 | |
| 144 | static inline int kvmppc_hpte_base_page_shift(unsigned long h, unsigned long l) |
| 145 | { |
| 146 | return kvmppc_hpte_page_shifts(h, l) & 0xff; |
| 147 | } |
| 148 | |
| 149 | static inline int kvmppc_hpte_actual_page_shift(unsigned long h, unsigned long l) |
| 150 | { |
| 151 | int tmp = kvmppc_hpte_page_shifts(h, l); |
| 152 | |
| 153 | if (tmp >= 0x100) |
| 154 | tmp >>= 8; |
| 155 | return tmp; |
| 156 | } |
| 157 | |
| 158 | static inline unsigned long kvmppc_actual_pgsz(unsigned long v, unsigned long r) |
| 159 | { |
| 160 | return 1ul << kvmppc_hpte_actual_page_shift(v, r); |
| 161 | } |
| 162 | |
| 163 | static inline int kvmppc_pgsize_lp_encoding(int base_shift, int actual_shift) |
| 164 | { |
| 165 | switch (base_shift) { |
| 166 | case 12: |
| 167 | switch (actual_shift) { |
| 168 | case 12: |
| 169 | return 0; |
| 170 | case 16: |
| 171 | return 7; |
| 172 | case 24: |
| 173 | return 0x38; |
| 174 | } |
| 175 | break; |
| 176 | case 16: |
| 177 | switch (actual_shift) { |
| 178 | case 16: |
| 179 | return 1; |
| 180 | case 24: |
| 181 | return 8; |
| 182 | } |
| 183 | break; |
| 184 | case 24: |
| 185 | return 0; |
| 186 | } |
| 187 | return -1; |
| 188 | } |
| 189 | |
Andreas Schwab | 36cc66d | 2011-11-08 07:08:52 +0000 | [diff] [blame] | 190 | static inline unsigned long compute_tlbie_rb(unsigned long v, unsigned long r, |
| 191 | unsigned long pte_index) |
| 192 | { |
Paul Mackerras | 8dc6cca | 2017-09-11 15:29:45 +1000 | [diff] [blame^] | 193 | int a_pgshift, b_pgshift; |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 194 | unsigned long rb = 0, va_low, sllp; |
Andreas Schwab | 36cc66d | 2011-11-08 07:08:52 +0000 | [diff] [blame] | 195 | |
Paul Mackerras | 8dc6cca | 2017-09-11 15:29:45 +1000 | [diff] [blame^] | 196 | b_pgshift = a_pgshift = kvmppc_hpte_page_shifts(v, r); |
| 197 | if (a_pgshift >= 0x100) { |
| 198 | b_pgshift &= 0xff; |
| 199 | a_pgshift >>= 8; |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 200 | } |
Paul Mackerras | 0eeede0 | 2016-09-02 17:20:43 +1000 | [diff] [blame] | 201 | |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 202 | /* |
| 203 | * Ignore the top 14 bits of va |
| 204 | * v have top two bits covering segment size, hence move |
| 205 | * by 16 bits, Also clear the lower HPTE_V_AVPN_SHIFT (7) bits. |
| 206 | * AVA field in v also have the lower 23 bits ignored. |
| 207 | * For base page size 4K we need 14 .. 65 bits (so need to |
| 208 | * collect extra 11 bits) |
| 209 | * For others we need 14..14+i |
| 210 | */ |
| 211 | /* This covers 14..54 bits of va*/ |
Andreas Schwab | 36cc66d | 2011-11-08 07:08:52 +0000 | [diff] [blame] | 212 | rb = (v & ~0x7fUL) << 16; /* AVA field */ |
Aneesh Kumar K.V | 63fff5c | 2014-06-29 16:47:30 +0530 | [diff] [blame] | 213 | |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 214 | /* |
| 215 | * AVA in v had cleared lower 23 bits. We need to derive |
| 216 | * that from pteg index |
| 217 | */ |
Andreas Schwab | 36cc66d | 2011-11-08 07:08:52 +0000 | [diff] [blame] | 218 | va_low = pte_index >> 3; |
| 219 | if (v & HPTE_V_SECONDARY) |
| 220 | va_low = ~va_low; |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 221 | /* |
| 222 | * get the vpn bits from va_low using reverse of hashing. |
| 223 | * In v we have va with 23 bits dropped and then left shifted |
| 224 | * HPTE_V_AVPN_SHIFT (7) bits. Now to find vsid we need |
| 225 | * right shift it with (SID_SHIFT - (23 - 7)) |
| 226 | */ |
Andreas Schwab | 36cc66d | 2011-11-08 07:08:52 +0000 | [diff] [blame] | 227 | if (!(v & HPTE_V_1TB_SEG)) |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 228 | va_low ^= v >> (SID_SHIFT - 16); |
Andreas Schwab | 36cc66d | 2011-11-08 07:08:52 +0000 | [diff] [blame] | 229 | else |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 230 | va_low ^= v >> (SID_SHIFT_1T - 16); |
Andreas Schwab | 36cc66d | 2011-11-08 07:08:52 +0000 | [diff] [blame] | 231 | va_low &= 0x7ff; |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 232 | |
Paul Mackerras | 8dc6cca | 2017-09-11 15:29:45 +1000 | [diff] [blame^] | 233 | if (b_pgshift == 12) { |
| 234 | if (a_pgshift > 12) { |
| 235 | sllp = (a_pgshift == 16) ? 5 : 4; |
| 236 | rb |= sllp << 5; /* AP field */ |
| 237 | } |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 238 | rb |= (va_low & 0x7ff) << 12; /* remaining 11 bits of AVA */ |
Paul Mackerras | 8dc6cca | 2017-09-11 15:29:45 +1000 | [diff] [blame^] | 239 | } else { |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 240 | int aval_shift; |
| 241 | /* |
Aneesh Kumar K.V | 63fff5c | 2014-06-29 16:47:30 +0530 | [diff] [blame] | 242 | * remaining bits of AVA/LP fields |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 243 | * Also contain the rr bits of LP |
| 244 | */ |
Paul Mackerras | 8dc6cca | 2017-09-11 15:29:45 +1000 | [diff] [blame^] | 245 | rb |= (va_low << b_pgshift) & 0x7ff000; |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 246 | /* |
| 247 | * Now clear not needed LP bits based on actual psize |
| 248 | */ |
Paul Mackerras | 8dc6cca | 2017-09-11 15:29:45 +1000 | [diff] [blame^] | 249 | rb &= ~((1ul << a_pgshift) - 1); |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 250 | /* |
| 251 | * AVAL field 58..77 - base_page_shift bits of va |
| 252 | * we have space for 58..64 bits, Missing bits should |
| 253 | * be zero filled. +1 is to take care of L bit shift |
| 254 | */ |
Paul Mackerras | 8dc6cca | 2017-09-11 15:29:45 +1000 | [diff] [blame^] | 255 | aval_shift = 64 - (77 - b_pgshift) + 1; |
Aneesh Kumar K.V | 1f365bb | 2014-05-06 23:31:36 +0530 | [diff] [blame] | 256 | rb |= ((va_low << aval_shift) & 0xfe); |
| 257 | |
| 258 | rb |= 1; /* L field */ |
Paul Mackerras | 8dc6cca | 2017-09-11 15:29:45 +1000 | [diff] [blame^] | 259 | rb |= r & 0xff000 & ((1ul << a_pgshift) - 1); /* LP field */ |
Andreas Schwab | 36cc66d | 2011-11-08 07:08:52 +0000 | [diff] [blame] | 260 | } |
Balbir Singh | 4f053d0 | 2016-09-16 17:25:50 +1000 | [diff] [blame] | 261 | rb |= (v >> HPTE_V_SSIZE_SHIFT) << 8; /* B field */ |
Andreas Schwab | 36cc66d | 2011-11-08 07:08:52 +0000 | [diff] [blame] | 262 | return rb; |
| 263 | } |
| 264 | |
Paul Mackerras | 06ce2c6 | 2011-12-12 12:33:07 +0000 | [diff] [blame] | 265 | static inline unsigned long hpte_rpn(unsigned long ptel, unsigned long psize) |
| 266 | { |
| 267 | return ((ptel & HPTE_R_RPN) & ~(psize - 1)) >> PAGE_SHIFT; |
| 268 | } |
| 269 | |
Paul Mackerras | 4cf302b | 2011-12-12 12:38:51 +0000 | [diff] [blame] | 270 | static inline int hpte_is_writable(unsigned long ptel) |
| 271 | { |
| 272 | unsigned long pp = ptel & (HPTE_R_PP0 | HPTE_R_PP); |
| 273 | |
| 274 | return pp != PP_RXRX && pp != PP_RXXX; |
| 275 | } |
| 276 | |
| 277 | static inline unsigned long hpte_make_readonly(unsigned long ptel) |
| 278 | { |
| 279 | if ((ptel & HPTE_R_PP0) || (ptel & HPTE_R_PP) == PP_RWXX) |
| 280 | ptel = (ptel & ~HPTE_R_PP) | PP_RXXX; |
| 281 | else |
| 282 | ptel |= PP_RXRX; |
| 283 | return ptel; |
| 284 | } |
| 285 | |
Aneesh Kumar K.V | 30bda41 | 2016-04-29 23:25:38 +1000 | [diff] [blame] | 286 | static inline bool hpte_cache_flags_ok(unsigned long hptel, bool is_ci) |
Paul Mackerras | 9d0ef5ea | 2011-12-12 12:32:27 +0000 | [diff] [blame] | 287 | { |
Aneesh Kumar K.V | 30bda41 | 2016-04-29 23:25:38 +1000 | [diff] [blame] | 288 | unsigned int wimg = hptel & HPTE_R_WIMG; |
Paul Mackerras | 9d0ef5ea | 2011-12-12 12:32:27 +0000 | [diff] [blame] | 289 | |
| 290 | /* Handle SAO */ |
| 291 | if (wimg == (HPTE_R_W | HPTE_R_I | HPTE_R_M) && |
| 292 | cpu_has_feature(CPU_FTR_ARCH_206)) |
| 293 | wimg = HPTE_R_M; |
| 294 | |
Aneesh Kumar K.V | 30bda41 | 2016-04-29 23:25:38 +1000 | [diff] [blame] | 295 | if (!is_ci) |
Paul Mackerras | 9d0ef5ea | 2011-12-12 12:32:27 +0000 | [diff] [blame] | 296 | return wimg == HPTE_R_M; |
Aneesh Kumar K.V | 30bda41 | 2016-04-29 23:25:38 +1000 | [diff] [blame] | 297 | /* |
| 298 | * if host is mapped cache inhibited, make sure hptel also have |
| 299 | * cache inhibited. |
| 300 | */ |
| 301 | if (wimg & HPTE_R_W) /* FIXME!! is this ok for all guest. ? */ |
| 302 | return false; |
| 303 | return !!(wimg & HPTE_R_I); |
Paul Mackerras | 9d0ef5ea | 2011-12-12 12:32:27 +0000 | [diff] [blame] | 304 | } |
| 305 | |
Paul Mackerras | 342d3db | 2011-12-12 12:38:05 +0000 | [diff] [blame] | 306 | /* |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 307 | * If it's present and writable, atomically set dirty and referenced bits and |
Aneesh Kumar K.V | 7d6e7f7 | 2015-03-30 10:41:04 +0530 | [diff] [blame] | 308 | * return the PTE, otherwise return 0. |
Paul Mackerras | 342d3db | 2011-12-12 12:38:05 +0000 | [diff] [blame] | 309 | */ |
Aneesh Kumar K.V | 7d6e7f7 | 2015-03-30 10:41:04 +0530 | [diff] [blame] | 310 | static inline pte_t kvmppc_read_update_linux_pte(pte_t *ptep, int writing) |
Paul Mackerras | 342d3db | 2011-12-12 12:38:05 +0000 | [diff] [blame] | 311 | { |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 312 | pte_t old_pte, new_pte = __pte(0); |
Paul Mackerras | 342d3db | 2011-12-12 12:38:05 +0000 | [diff] [blame] | 313 | |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 314 | while (1) { |
Aneesh Kumar K.V | 5e1d44a | 2015-03-30 10:39:12 +0530 | [diff] [blame] | 315 | /* |
| 316 | * Make sure we don't reload from ptep |
| 317 | */ |
| 318 | old_pte = READ_ONCE(*ptep); |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 319 | /* |
Aneesh Kumar K.V | 945537d | 2016-04-29 23:25:45 +1000 | [diff] [blame] | 320 | * wait until H_PAGE_BUSY is clear then set it atomically |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 321 | */ |
Aneesh Kumar K.V | 945537d | 2016-04-29 23:25:45 +1000 | [diff] [blame] | 322 | if (unlikely(pte_val(old_pte) & H_PAGE_BUSY)) { |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 323 | cpu_relax(); |
| 324 | continue; |
| 325 | } |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 326 | /* If pte is not present return None */ |
Michael Ellerman | 4f9c53c | 2015-03-25 20:11:57 +1100 | [diff] [blame] | 327 | if (unlikely(!(pte_val(old_pte) & _PAGE_PRESENT))) |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 328 | return __pte(0); |
Paul Mackerras | 342d3db | 2011-12-12 12:38:05 +0000 | [diff] [blame] | 329 | |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 330 | new_pte = pte_mkyoung(old_pte); |
| 331 | if (writing && pte_write(old_pte)) |
| 332 | new_pte = pte_mkdirty(new_pte); |
| 333 | |
Michael Ellerman | 3910a7f | 2016-04-29 23:25:27 +1000 | [diff] [blame] | 334 | if (pte_xchg(ptep, old_pte, new_pte)) |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 335 | break; |
Paul Mackerras | 342d3db | 2011-12-12 12:38:05 +0000 | [diff] [blame] | 336 | } |
Aneesh Kumar K.V | db7cb5b | 2013-06-20 14:30:19 +0530 | [diff] [blame] | 337 | return new_pte; |
Paul Mackerras | 342d3db | 2011-12-12 12:38:05 +0000 | [diff] [blame] | 338 | } |
| 339 | |
Paul Mackerras | 697d389 | 2011-12-12 12:36:37 +0000 | [diff] [blame] | 340 | static inline bool hpte_read_permission(unsigned long pp, unsigned long key) |
| 341 | { |
| 342 | if (key) |
| 343 | return PP_RWRX <= pp && pp <= PP_RXRX; |
Joe Perches | acdb668 | 2015-03-30 16:46:04 -0700 | [diff] [blame] | 344 | return true; |
Paul Mackerras | 697d389 | 2011-12-12 12:36:37 +0000 | [diff] [blame] | 345 | } |
| 346 | |
| 347 | static inline bool hpte_write_permission(unsigned long pp, unsigned long key) |
| 348 | { |
| 349 | if (key) |
| 350 | return pp == PP_RWRW; |
| 351 | return pp <= PP_RWRW; |
| 352 | } |
| 353 | |
| 354 | static inline int hpte_get_skey_perm(unsigned long hpte_r, unsigned long amr) |
| 355 | { |
| 356 | unsigned long skey; |
| 357 | |
| 358 | skey = ((hpte_r & HPTE_R_KEY_HI) >> 57) | |
| 359 | ((hpte_r & HPTE_R_KEY_LO) >> 9); |
| 360 | return (amr >> (62 - 2 * skey)) & 3; |
| 361 | } |
| 362 | |
Paul Mackerras | 06ce2c6 | 2011-12-12 12:33:07 +0000 | [diff] [blame] | 363 | static inline void lock_rmap(unsigned long *rmap) |
| 364 | { |
| 365 | do { |
| 366 | while (test_bit(KVMPPC_RMAP_LOCK_BIT, rmap)) |
| 367 | cpu_relax(); |
| 368 | } while (test_and_set_bit_lock(KVMPPC_RMAP_LOCK_BIT, rmap)); |
| 369 | } |
| 370 | |
| 371 | static inline void unlock_rmap(unsigned long *rmap) |
| 372 | { |
| 373 | __clear_bit_unlock(KVMPPC_RMAP_LOCK_BIT, rmap); |
| 374 | } |
| 375 | |
Paul Mackerras | da9d1d7 | 2011-12-12 12:31:41 +0000 | [diff] [blame] | 376 | static inline bool slot_is_aligned(struct kvm_memory_slot *memslot, |
| 377 | unsigned long pagesize) |
| 378 | { |
| 379 | unsigned long mask = (pagesize >> PAGE_SHIFT) - 1; |
| 380 | |
| 381 | if (pagesize <= PAGE_SIZE) |
Joe Perches | acdb668 | 2015-03-30 16:46:04 -0700 | [diff] [blame] | 382 | return true; |
Paul Mackerras | da9d1d7 | 2011-12-12 12:31:41 +0000 | [diff] [blame] | 383 | return !(memslot->base_gfn & mask) && !(memslot->npages & mask); |
| 384 | } |
| 385 | |
Paul Mackerras | a293292 | 2012-11-19 22:57:20 +0000 | [diff] [blame] | 386 | /* |
| 387 | * This works for 4k, 64k and 16M pages on POWER7, |
| 388 | * and 4k and 16M pages on PPC970. |
| 389 | */ |
| 390 | static inline unsigned long slb_pgsize_encoding(unsigned long psize) |
| 391 | { |
| 392 | unsigned long senc = 0; |
| 393 | |
| 394 | if (psize > 0x1000) { |
| 395 | senc = SLB_VSID_L; |
| 396 | if (psize == 0x10000) |
| 397 | senc |= SLB_VSID_LP_01; |
| 398 | } |
| 399 | return senc; |
| 400 | } |
| 401 | |
| 402 | static inline int is_vrma_hpte(unsigned long hpte_v) |
| 403 | { |
| 404 | return (hpte_v & ~0xffffffUL) == |
| 405 | (HPTE_V_1TB_SEG | (VRMA_VSID << (40 - 16))); |
| 406 | } |
| 407 | |
Aneesh Kumar K.V | 9975f5e | 2013-10-07 22:17:52 +0530 | [diff] [blame] | 408 | #ifdef CONFIG_KVM_BOOK3S_HV_POSSIBLE |
Paul Mackerras | a1b4a0f | 2013-04-18 19:50:24 +0000 | [diff] [blame] | 409 | /* |
| 410 | * Note modification of an HPTE; set the HPTE modified bit |
| 411 | * if anyone is interested. |
| 412 | */ |
| 413 | static inline void note_hpte_modification(struct kvm *kvm, |
| 414 | struct revmap_entry *rev) |
| 415 | { |
| 416 | if (atomic_read(&kvm->arch.hpte_mod_interest)) |
| 417 | rev->guest_rpte |= HPTE_GR_MODIFIED; |
| 418 | } |
Paul Mackerras | 797f9c0 | 2014-03-25 10:47:06 +1100 | [diff] [blame] | 419 | |
| 420 | /* |
| 421 | * Like kvm_memslots(), but for use in real mode when we can't do |
| 422 | * any RCU stuff (since the secondary threads are offline from the |
| 423 | * kernel's point of view), and we can't print anything. |
| 424 | * Thus we use rcu_dereference_raw() rather than rcu_dereference_check(). |
| 425 | */ |
| 426 | static inline struct kvm_memslots *kvm_memslots_raw(struct kvm *kvm) |
| 427 | { |
Paolo Bonzini | f481b06 | 2015-05-17 17:30:37 +0200 | [diff] [blame] | 428 | return rcu_dereference_raw_notrace(kvm->memslots[0]); |
Paul Mackerras | 797f9c0 | 2014-03-25 10:47:06 +1100 | [diff] [blame] | 429 | } |
| 430 | |
Paul Mackerras | e23a808 | 2015-03-28 14:21:01 +1100 | [diff] [blame] | 431 | extern void kvmppc_mmu_debugfs_init(struct kvm *kvm); |
| 432 | |
Paul Mackerras | eddb60f | 2015-03-28 14:21:11 +1100 | [diff] [blame] | 433 | extern void kvmhv_rm_send_ipi(int cpu); |
| 434 | |
David Gibson | 3d089f8 | 2016-12-20 16:49:01 +1100 | [diff] [blame] | 435 | static inline unsigned long kvmppc_hpt_npte(struct kvm_hpt_info *hpt) |
| 436 | { |
| 437 | /* HPTEs are 2**4 bytes long */ |
| 438 | return 1UL << (hpt->order - 4); |
| 439 | } |
| 440 | |
| 441 | static inline unsigned long kvmppc_hpt_mask(struct kvm_hpt_info *hpt) |
| 442 | { |
| 443 | /* 128 (2**7) bytes in each HPTEG */ |
| 444 | return (1UL << (hpt->order - 7)) - 1; |
| 445 | } |
| 446 | |
Aneesh Kumar K.V | 9975f5e | 2013-10-07 22:17:52 +0530 | [diff] [blame] | 447 | #endif /* CONFIG_KVM_BOOK3S_HV_POSSIBLE */ |
Paul Mackerras | a1b4a0f | 2013-04-18 19:50:24 +0000 | [diff] [blame] | 448 | |
Alexander Graf | 3ae0789 | 2010-04-16 00:11:37 +0200 | [diff] [blame] | 449 | #endif /* __ASM_KVM_BOOK3S_64_H__ */ |