blob: aef65319316065eab845f35141682c3550f18a22 [file] [log] [blame]
Joe Perchesc767a542012-05-21 19:50:07 -07001#define pr_fmt(fmt) "SMP alternatives: " fmt
2
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -08003#include <linux/module.h>
Al Virof6a57032006-10-18 01:47:25 -04004#include <linux/sched.h>
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +02005#include <linux/mutex.h>
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -08006#include <linux/list.h>
Jan Beulich8b5a10f2009-08-19 08:40:48 +01007#include <linux/stringify.h>
Andi Kleen19d36cc2007-07-22 11:12:31 +02008#include <linux/mm.h>
9#include <linux/vmalloc.h>
Masami Hiramatsu3945dab2009-03-06 10:37:22 -050010#include <linux/memory.h>
Masami Hiramatsu3d55cc82010-02-25 08:34:38 -050011#include <linux/stop_machine.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090012#include <linux/slab.h>
Jiri Kosinafd4363f2013-07-12 11:21:48 +020013#include <linux/kdebug.h>
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -080014#include <asm/alternative.h>
15#include <asm/sections.h>
Andi Kleen19d36cc2007-07-22 11:12:31 +020016#include <asm/pgtable.h>
Andi Kleen8f4e9562007-07-22 11:12:32 +020017#include <asm/mce.h>
18#include <asm/nmi.h>
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -050019#include <asm/cacheflush.h>
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -050020#include <asm/tlbflush.h>
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -050021#include <asm/io.h>
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -050022#include <asm/fixmap.h>
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -080023
Andi Kleenab144f52007-08-10 22:31:03 +020024#define MAX_PATCH_LEN (255-1)
25
Jan Beulich8b5a10f2009-08-19 08:40:48 +010026static int __initdata_or_module debug_alternative;
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +020027
Gerd Hoffmannd167a512006-06-26 13:56:16 +020028static int __init debug_alt(char *str)
29{
30 debug_alternative = 1;
31 return 1;
32}
Gerd Hoffmannd167a512006-06-26 13:56:16 +020033__setup("debug-alternative", debug_alt);
34
Jan Beulich09488162007-07-21 17:10:25 +020035static int noreplace_smp;
36
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +020037static int __init setup_noreplace_smp(char *str)
38{
39 noreplace_smp = 1;
40 return 1;
41}
42__setup("noreplace-smp", setup_noreplace_smp);
43
Jeremy Fitzhardinge959b4fd2007-05-02 19:27:16 +020044#ifdef CONFIG_PARAVIRT
Jan Beulich8b5a10f2009-08-19 08:40:48 +010045static int __initdata_or_module noreplace_paravirt = 0;
Jeremy Fitzhardinge959b4fd2007-05-02 19:27:16 +020046
47static int __init setup_noreplace_paravirt(char *str)
48{
49 noreplace_paravirt = 1;
50 return 1;
51}
52__setup("noreplace-paravirt", setup_noreplace_paravirt);
53#endif
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +020054
Borislav Petkovdb477a32014-12-30 20:27:09 +010055#define DPRINTK(fmt, args...) \
56do { \
57 if (debug_alternative) \
58 printk(KERN_DEBUG "%s: " fmt "\n", __func__, ##args); \
Joe Perchesc767a542012-05-21 19:50:07 -070059} while (0)
Gerd Hoffmannd167a512006-06-26 13:56:16 +020060
Borislav Petkov48c7a252015-01-05 13:48:41 +010061#define DUMP_BYTES(buf, len, fmt, args...) \
62do { \
63 if (unlikely(debug_alternative)) { \
64 int j; \
65 \
66 if (!(len)) \
67 break; \
68 \
69 printk(KERN_DEBUG fmt, ##args); \
70 for (j = 0; j < (len) - 1; j++) \
71 printk(KERN_CONT "%02hhx ", buf[j]); \
72 printk(KERN_CONT "%02hhx\n", buf[j]); \
73 } \
74} while (0)
75
H. Peter Anvindc326fc2011-04-18 15:19:51 -070076/*
77 * Each GENERIC_NOPX is of X bytes, and defined as an array of bytes
78 * that correspond to that nop. Getting from one nop to the next, we
79 * add to the array the offset that is equal to the sum of all sizes of
80 * nops preceding the one we are after.
81 *
82 * Note: The GENERIC_NOP5_ATOMIC is at the end, as it breaks the
83 * nice symmetry of sizes of the previous nops.
84 */
Jan Beulich8b5a10f2009-08-19 08:40:48 +010085#if defined(GENERIC_NOP1) && !defined(CONFIG_X86_64)
H. Peter Anvindc326fc2011-04-18 15:19:51 -070086static const unsigned char intelnops[] =
87{
88 GENERIC_NOP1,
89 GENERIC_NOP2,
90 GENERIC_NOP3,
91 GENERIC_NOP4,
92 GENERIC_NOP5,
93 GENERIC_NOP6,
94 GENERIC_NOP7,
95 GENERIC_NOP8,
96 GENERIC_NOP5_ATOMIC
97};
98static const unsigned char * const intel_nops[ASM_NOP_MAX+2] =
99{
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800100 NULL,
101 intelnops,
102 intelnops + 1,
103 intelnops + 1 + 2,
104 intelnops + 1 + 2 + 3,
105 intelnops + 1 + 2 + 3 + 4,
106 intelnops + 1 + 2 + 3 + 4 + 5,
107 intelnops + 1 + 2 + 3 + 4 + 5 + 6,
108 intelnops + 1 + 2 + 3 + 4 + 5 + 6 + 7,
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700109 intelnops + 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8,
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800110};
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200111#endif
112
113#ifdef K8_NOP1
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700114static const unsigned char k8nops[] =
115{
116 K8_NOP1,
117 K8_NOP2,
118 K8_NOP3,
119 K8_NOP4,
120 K8_NOP5,
121 K8_NOP6,
122 K8_NOP7,
123 K8_NOP8,
124 K8_NOP5_ATOMIC
125};
126static const unsigned char * const k8_nops[ASM_NOP_MAX+2] =
127{
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800128 NULL,
129 k8nops,
130 k8nops + 1,
131 k8nops + 1 + 2,
132 k8nops + 1 + 2 + 3,
133 k8nops + 1 + 2 + 3 + 4,
134 k8nops + 1 + 2 + 3 + 4 + 5,
135 k8nops + 1 + 2 + 3 + 4 + 5 + 6,
136 k8nops + 1 + 2 + 3 + 4 + 5 + 6 + 7,
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700137 k8nops + 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8,
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800138};
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200139#endif
140
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100141#if defined(K7_NOP1) && !defined(CONFIG_X86_64)
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700142static const unsigned char k7nops[] =
143{
144 K7_NOP1,
145 K7_NOP2,
146 K7_NOP3,
147 K7_NOP4,
148 K7_NOP5,
149 K7_NOP6,
150 K7_NOP7,
151 K7_NOP8,
152 K7_NOP5_ATOMIC
153};
154static const unsigned char * const k7_nops[ASM_NOP_MAX+2] =
155{
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800156 NULL,
157 k7nops,
158 k7nops + 1,
159 k7nops + 1 + 2,
160 k7nops + 1 + 2 + 3,
161 k7nops + 1 + 2 + 3 + 4,
162 k7nops + 1 + 2 + 3 + 4 + 5,
163 k7nops + 1 + 2 + 3 + 4 + 5 + 6,
164 k7nops + 1 + 2 + 3 + 4 + 5 + 6 + 7,
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700165 k7nops + 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8,
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800166};
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200167#endif
168
Jan Beulich32c464f2007-10-17 18:04:41 +0200169#ifdef P6_NOP1
Avi Kivitycb09cad2012-08-22 13:03:48 +0300170static const unsigned char p6nops[] =
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700171{
172 P6_NOP1,
173 P6_NOP2,
174 P6_NOP3,
175 P6_NOP4,
176 P6_NOP5,
177 P6_NOP6,
178 P6_NOP7,
179 P6_NOP8,
180 P6_NOP5_ATOMIC
181};
182static const unsigned char * const p6_nops[ASM_NOP_MAX+2] =
183{
Jan Beulich32c464f2007-10-17 18:04:41 +0200184 NULL,
185 p6nops,
186 p6nops + 1,
187 p6nops + 1 + 2,
188 p6nops + 1 + 2 + 3,
189 p6nops + 1 + 2 + 3 + 4,
190 p6nops + 1 + 2 + 3 + 4 + 5,
191 p6nops + 1 + 2 + 3 + 4 + 5 + 6,
192 p6nops + 1 + 2 + 3 + 4 + 5 + 6 + 7,
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700193 p6nops + 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8,
Jan Beulich32c464f2007-10-17 18:04:41 +0200194};
195#endif
196
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700197/* Initialize these to a safe default */
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200198#ifdef CONFIG_X86_64
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700199const unsigned char * const *ideal_nops = p6_nops;
200#else
201const unsigned char * const *ideal_nops = intel_nops;
202#endif
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200203
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700204void __init arch_init_ideal_nops(void)
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200205{
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700206 switch (boot_cpu_data.x86_vendor) {
207 case X86_VENDOR_INTEL:
H. Peter Anvind8d97662011-04-18 15:31:57 -0700208 /*
209 * Due to a decoder implementation quirk, some
210 * specific Intel CPUs actually perform better with
211 * the "k8_nops" than with the SDM-recommended NOPs.
212 */
213 if (boot_cpu_data.x86 == 6 &&
214 boot_cpu_data.x86_model >= 0x0f &&
215 boot_cpu_data.x86_model != 0x1c &&
216 boot_cpu_data.x86_model != 0x26 &&
217 boot_cpu_data.x86_model != 0x27 &&
218 boot_cpu_data.x86_model < 0x30) {
219 ideal_nops = k8_nops;
220 } else if (boot_cpu_has(X86_FEATURE_NOPL)) {
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700221 ideal_nops = p6_nops;
222 } else {
223#ifdef CONFIG_X86_64
224 ideal_nops = k8_nops;
225#else
226 ideal_nops = intel_nops;
227#endif
228 }
Alan Coxd6250a32012-07-25 16:28:19 +0100229 break;
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700230 default:
231#ifdef CONFIG_X86_64
232 ideal_nops = k8_nops;
233#else
234 if (boot_cpu_has(X86_FEATURE_K8))
235 ideal_nops = k8_nops;
236 else if (boot_cpu_has(X86_FEATURE_K7))
237 ideal_nops = k7_nops;
238 else
239 ideal_nops = intel_nops;
240#endif
241 }
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200242}
243
Andi Kleenab144f52007-08-10 22:31:03 +0200244/* Use this to add nops to a buffer, then text_poke the whole buffer. */
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100245static void __init_or_module add_nops(void *insns, unsigned int len)
Rusty Russell139ec7c2006-12-07 02:14:08 +0100246{
Rusty Russell139ec7c2006-12-07 02:14:08 +0100247 while (len > 0) {
248 unsigned int noplen = len;
249 if (noplen > ASM_NOP_MAX)
250 noplen = ASM_NOP_MAX;
H. Peter Anvindc326fc2011-04-18 15:19:51 -0700251 memcpy(insns, ideal_nops[noplen], noplen);
Rusty Russell139ec7c2006-12-07 02:14:08 +0100252 insns += noplen;
253 len -= noplen;
254 }
255}
256
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200257extern struct alt_instr __alt_instructions[], __alt_instructions_end[];
Jan Beulich5967ed82010-04-21 16:08:14 +0100258extern s32 __smp_locks[], __smp_locks_end[];
Jason Baronfa6f2cc2010-09-17 11:08:56 -0400259void *text_poke_early(void *addr, const void *opcode, size_t len);
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200260
Borislav Petkovdb477a32014-12-30 20:27:09 +0100261/*
Borislav Petkov48c7a252015-01-05 13:48:41 +0100262 * Are we looking at a near JMP with a 1 or 4-byte displacement.
263 */
264static inline bool is_jmp(const u8 opcode)
265{
266 return opcode == 0xeb || opcode == 0xe9;
267}
268
269static void __init_or_module
270recompute_jump(struct alt_instr *a, u8 *orig_insn, u8 *repl_insn, u8 *insnbuf)
271{
272 u8 *next_rip, *tgt_rip;
273 s32 n_dspl, o_dspl;
274 int repl_len;
275
276 if (a->replacementlen != 5)
277 return;
278
279 o_dspl = *(s32 *)(insnbuf + 1);
280
281 /* next_rip of the replacement JMP */
282 next_rip = repl_insn + a->replacementlen;
283 /* target rip of the replacement JMP */
284 tgt_rip = next_rip + o_dspl;
285 n_dspl = tgt_rip - orig_insn;
286
287 DPRINTK("target RIP: %p, new_displ: 0x%x", tgt_rip, n_dspl);
288
289 if (tgt_rip - orig_insn >= 0) {
290 if (n_dspl - 2 <= 127)
291 goto two_byte_jmp;
292 else
293 goto five_byte_jmp;
294 /* negative offset */
295 } else {
296 if (((n_dspl - 2) & 0xff) == (n_dspl - 2))
297 goto two_byte_jmp;
298 else
299 goto five_byte_jmp;
300 }
301
302two_byte_jmp:
303 n_dspl -= 2;
304
305 insnbuf[0] = 0xeb;
306 insnbuf[1] = (s8)n_dspl;
307 add_nops(insnbuf + 2, 3);
308
309 repl_len = 2;
310 goto done;
311
312five_byte_jmp:
313 n_dspl -= 5;
314
315 insnbuf[0] = 0xe9;
316 *(s32 *)&insnbuf[1] = n_dspl;
317
318 repl_len = 5;
319
320done:
321
322 DPRINTK("final displ: 0x%08x, JMP 0x%lx",
323 n_dspl, (unsigned long)orig_insn + n_dspl + repl_len);
324}
325
Borislav Petkov4fd4b6e2015-01-10 20:34:07 +0100326static void __init_or_module optimize_nops(struct alt_instr *a, u8 *instr)
327{
Borislav Petkov69df3532015-04-04 23:07:42 +0200328 if (instr[0] != 0x90)
329 return;
330
Borislav Petkov4fd4b6e2015-01-10 20:34:07 +0100331 add_nops(instr + (a->instrlen - a->padlen), a->padlen);
332
333 DUMP_BYTES(instr, a->instrlen, "%p: [%d:%d) optimized NOPs: ",
334 instr, a->instrlen - a->padlen, a->padlen);
335}
336
Borislav Petkov48c7a252015-01-05 13:48:41 +0100337/*
Borislav Petkovdb477a32014-12-30 20:27:09 +0100338 * Replace instructions with better alternatives for this CPU type. This runs
339 * before SMP is initialized to avoid SMP problems with self modifying code.
340 * This implies that asymmetric systems where APs have less capabilities than
341 * the boot processor are not handled. Tough. Make sure you disable such
342 * features by hand.
343 */
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100344void __init_or_module apply_alternatives(struct alt_instr *start,
345 struct alt_instr *end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800346{
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800347 struct alt_instr *a;
Andy Lutomirski59e97e42011-07-13 09:24:10 -0400348 u8 *instr, *replacement;
Jan Beulich1b1d9252009-12-18 16:12:56 +0000349 u8 insnbuf[MAX_PATCH_LEN];
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800350
Borislav Petkovdb477a32014-12-30 20:27:09 +0100351 DPRINTK("alt table %p -> %p", start, end);
Fenghua Yu50973132011-05-17 15:29:12 -0700352 /*
353 * The scan order should be from start to end. A later scanned
Borislav Petkovdb477a32014-12-30 20:27:09 +0100354 * alternative code can overwrite previously scanned alternative code.
Fenghua Yu50973132011-05-17 15:29:12 -0700355 * Some kernel functions (e.g. memcpy, memset, etc) use this order to
356 * patch code.
357 *
358 * So be careful if you want to change the scan order to any other
359 * order.
360 */
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800361 for (a = start; a < end; a++) {
Borislav Petkov48c7a252015-01-05 13:48:41 +0100362 int insnbuf_sz = 0;
363
Andy Lutomirski59e97e42011-07-13 09:24:10 -0400364 instr = (u8 *)&a->instr_offset + a->instr_offset;
365 replacement = (u8 *)&a->repl_offset + a->repl_offset;
Andi Kleenab144f52007-08-10 22:31:03 +0200366 BUG_ON(a->instrlen > sizeof(insnbuf));
Borislav Petkov65fc9852013-03-20 15:07:23 +0100367 BUG_ON(a->cpuid >= (NCAPINTS + NBUGINTS) * 32);
Borislav Petkov4fd4b6e2015-01-10 20:34:07 +0100368 if (!boot_cpu_has(a->cpuid)) {
369 if (a->padlen > 1)
370 optimize_nops(a, instr);
371
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800372 continue;
Borislav Petkov4fd4b6e2015-01-10 20:34:07 +0100373 }
Andy Lutomirski59e97e42011-07-13 09:24:10 -0400374
Borislav Petkovdbe40582015-04-04 15:34:43 +0200375 DPRINTK("feat: %d*32+%d, old: (%p, len: %d), repl: (%p, len: %d), pad: %d",
Borislav Petkovdb477a32014-12-30 20:27:09 +0100376 a->cpuid >> 5,
377 a->cpuid & 0x1f,
378 instr, a->instrlen,
Borislav Petkovdbe40582015-04-04 15:34:43 +0200379 replacement, a->replacementlen, a->padlen);
Borislav Petkovdb477a32014-12-30 20:27:09 +0100380
Borislav Petkov48c7a252015-01-05 13:48:41 +0100381 DUMP_BYTES(instr, a->instrlen, "%p: old_insn: ", instr);
382 DUMP_BYTES(replacement, a->replacementlen, "%p: rpl_insn: ", replacement);
383
Andy Lutomirski59e97e42011-07-13 09:24:10 -0400384 memcpy(insnbuf, replacement, a->replacementlen);
Borislav Petkov48c7a252015-01-05 13:48:41 +0100385 insnbuf_sz = a->replacementlen;
Andy Lutomirski59e97e42011-07-13 09:24:10 -0400386
387 /* 0xe8 is a relative jump; fix the offset. */
Borislav Petkovdb477a32014-12-30 20:27:09 +0100388 if (*insnbuf == 0xe8 && a->replacementlen == 5) {
389 *(s32 *)(insnbuf + 1) += replacement - instr;
Borislav Petkov48c7a252015-01-05 13:48:41 +0100390 DPRINTK("Fix CALL offset: 0x%x, CALL 0x%lx",
391 *(s32 *)(insnbuf + 1),
392 (unsigned long)instr + *(s32 *)(insnbuf + 1) + 5);
Borislav Petkovdb477a32014-12-30 20:27:09 +0100393 }
Andy Lutomirski59e97e42011-07-13 09:24:10 -0400394
Borislav Petkov48c7a252015-01-05 13:48:41 +0100395 if (a->replacementlen && is_jmp(replacement[0]))
396 recompute_jump(a, instr, replacement, insnbuf);
397
398 if (a->instrlen > a->replacementlen) {
Borislav Petkov43321952014-12-27 10:41:52 +0100399 add_nops(insnbuf + a->replacementlen,
400 a->instrlen - a->replacementlen);
Borislav Petkov48c7a252015-01-05 13:48:41 +0100401 insnbuf_sz += a->instrlen - a->replacementlen;
402 }
403 DUMP_BYTES(insnbuf, insnbuf_sz, "%p: final_insn: ", instr);
Andy Lutomirski59e97e42011-07-13 09:24:10 -0400404
Borislav Petkov48c7a252015-01-05 13:48:41 +0100405 text_poke_early(instr, insnbuf, insnbuf_sz);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800406 }
407}
408
Gerd Hoffmann8ec4d412006-07-01 04:36:18 -0700409#ifdef CONFIG_SMP
Jan Beulich5967ed82010-04-21 16:08:14 +0100410static void alternatives_smp_lock(const s32 *start, const s32 *end,
411 u8 *text, u8 *text_end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800412{
Jan Beulich5967ed82010-04-21 16:08:14 +0100413 const s32 *poff;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800414
Masami Hiramatsu3945dab2009-03-06 10:37:22 -0500415 mutex_lock(&text_mutex);
Jan Beulich5967ed82010-04-21 16:08:14 +0100416 for (poff = start; poff < end; poff++) {
417 u8 *ptr = (u8 *)poff + *poff;
418
419 if (!*poff || ptr < text || ptr >= text_end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800420 continue;
Mathieu Desnoyersf88f07e2008-08-14 16:58:15 -0400421 /* turn DS segment override prefix into lock prefix */
H. Peter Anvind9c58412010-04-29 16:53:17 -0700422 if (*ptr == 0x3e)
423 text_poke(ptr, ((unsigned char []){0xf0}), 1);
Peter Senna Tschudin4b8073e2012-09-18 18:36:14 +0200424 }
Masami Hiramatsu3945dab2009-03-06 10:37:22 -0500425 mutex_unlock(&text_mutex);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800426}
427
Jan Beulich5967ed82010-04-21 16:08:14 +0100428static void alternatives_smp_unlock(const s32 *start, const s32 *end,
429 u8 *text, u8 *text_end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800430{
Jan Beulich5967ed82010-04-21 16:08:14 +0100431 const s32 *poff;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800432
Masami Hiramatsu3945dab2009-03-06 10:37:22 -0500433 mutex_lock(&text_mutex);
Jan Beulich5967ed82010-04-21 16:08:14 +0100434 for (poff = start; poff < end; poff++) {
435 u8 *ptr = (u8 *)poff + *poff;
436
437 if (!*poff || ptr < text || ptr >= text_end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800438 continue;
Mathieu Desnoyersf88f07e2008-08-14 16:58:15 -0400439 /* turn lock prefix into DS segment override prefix */
H. Peter Anvind9c58412010-04-29 16:53:17 -0700440 if (*ptr == 0xf0)
441 text_poke(ptr, ((unsigned char []){0x3E}), 1);
Peter Senna Tschudin4b8073e2012-09-18 18:36:14 +0200442 }
Masami Hiramatsu3945dab2009-03-06 10:37:22 -0500443 mutex_unlock(&text_mutex);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800444}
445
446struct smp_alt_module {
447 /* what is this ??? */
448 struct module *mod;
449 char *name;
450
451 /* ptrs to lock prefixes */
Jan Beulich5967ed82010-04-21 16:08:14 +0100452 const s32 *locks;
453 const s32 *locks_end;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800454
455 /* .text segment, needed to avoid patching init code ;) */
456 u8 *text;
457 u8 *text_end;
458
459 struct list_head next;
460};
461static LIST_HEAD(smp_alt_modules);
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200462static DEFINE_MUTEX(smp_alt);
Rusty Russell816afe42012-08-06 17:29:49 +0930463static bool uniproc_patched = false; /* protected by smp_alt */
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800464
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100465void __init_or_module alternatives_smp_module_add(struct module *mod,
466 char *name,
467 void *locks, void *locks_end,
468 void *text, void *text_end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800469{
470 struct smp_alt_module *smp;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800471
Rusty Russell816afe42012-08-06 17:29:49 +0930472 mutex_lock(&smp_alt);
473 if (!uniproc_patched)
474 goto unlock;
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +0200475
Rusty Russell816afe42012-08-06 17:29:49 +0930476 if (num_possible_cpus() == 1)
477 /* Don't bother remembering, we'll never have to undo it. */
478 goto smp_unlock;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800479
480 smp = kzalloc(sizeof(*smp), GFP_KERNEL);
481 if (NULL == smp)
Rusty Russell816afe42012-08-06 17:29:49 +0930482 /* we'll run the (safe but slow) SMP code then ... */
483 goto unlock;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800484
485 smp->mod = mod;
486 smp->name = name;
487 smp->locks = locks;
488 smp->locks_end = locks_end;
489 smp->text = text;
490 smp->text_end = text_end;
Borislav Petkovdb477a32014-12-30 20:27:09 +0100491 DPRINTK("locks %p -> %p, text %p -> %p, name %s\n",
492 smp->locks, smp->locks_end,
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800493 smp->text, smp->text_end, smp->name);
494
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800495 list_add_tail(&smp->next, &smp_alt_modules);
Rusty Russell816afe42012-08-06 17:29:49 +0930496smp_unlock:
497 alternatives_smp_unlock(locks, locks_end, text, text_end);
498unlock:
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200499 mutex_unlock(&smp_alt);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800500}
501
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100502void __init_or_module alternatives_smp_module_del(struct module *mod)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800503{
504 struct smp_alt_module *item;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800505
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200506 mutex_lock(&smp_alt);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800507 list_for_each_entry(item, &smp_alt_modules, next) {
508 if (mod != item->mod)
509 continue;
510 list_del(&item->next);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800511 kfree(item);
Rusty Russell816afe42012-08-06 17:29:49 +0930512 break;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800513 }
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200514 mutex_unlock(&smp_alt);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800515}
516
Rusty Russell816afe42012-08-06 17:29:49 +0930517void alternatives_enable_smp(void)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800518{
519 struct smp_alt_module *mod;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800520
Rusty Russell816afe42012-08-06 17:29:49 +0930521 /* Why bother if there are no other CPUs? */
522 BUG_ON(num_possible_cpus() == 1);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800523
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200524 mutex_lock(&smp_alt);
Andi Kleenca74a6f2008-01-30 13:33:17 +0100525
Rusty Russell816afe42012-08-06 17:29:49 +0930526 if (uniproc_patched) {
Joe Perchesc767a542012-05-21 19:50:07 -0700527 pr_info("switching to SMP code\n");
Rusty Russell816afe42012-08-06 17:29:49 +0930528 BUG_ON(num_online_cpus() != 1);
Jeremy Fitzhardinge53756d32008-01-30 13:30:55 +0100529 clear_cpu_cap(&boot_cpu_data, X86_FEATURE_UP);
530 clear_cpu_cap(&cpu_data(0), X86_FEATURE_UP);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800531 list_for_each_entry(mod, &smp_alt_modules, next)
532 alternatives_smp_lock(mod->locks, mod->locks_end,
533 mod->text, mod->text_end);
Rusty Russell816afe42012-08-06 17:29:49 +0930534 uniproc_patched = false;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800535 }
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200536 mutex_unlock(&smp_alt);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800537}
538
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -0500539/* Return 1 if the address range is reserved for smp-alternatives */
540int alternatives_text_reserved(void *start, void *end)
541{
542 struct smp_alt_module *mod;
Jan Beulich5967ed82010-04-21 16:08:14 +0100543 const s32 *poff;
Masami Hiramatsu076dc4a2010-02-05 12:16:47 -0500544 u8 *text_start = start;
545 u8 *text_end = end;
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -0500546
547 list_for_each_entry(mod, &smp_alt_modules, next) {
Masami Hiramatsu076dc4a2010-02-05 12:16:47 -0500548 if (mod->text > text_end || mod->text_end < text_start)
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -0500549 continue;
Jan Beulich5967ed82010-04-21 16:08:14 +0100550 for (poff = mod->locks; poff < mod->locks_end; poff++) {
551 const u8 *ptr = (const u8 *)poff + *poff;
552
553 if (text_start <= ptr && text_end > ptr)
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -0500554 return 1;
Jan Beulich5967ed82010-04-21 16:08:14 +0100555 }
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -0500556 }
557
558 return 0;
559}
Borislav Petkov48c7a252015-01-05 13:48:41 +0100560#endif /* CONFIG_SMP */
Gerd Hoffmann8ec4d412006-07-01 04:36:18 -0700561
Rusty Russell139ec7c2006-12-07 02:14:08 +0100562#ifdef CONFIG_PARAVIRT
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100563void __init_or_module apply_paravirt(struct paravirt_patch_site *start,
564 struct paravirt_patch_site *end)
Rusty Russell139ec7c2006-12-07 02:14:08 +0100565{
Jeremy Fitzhardinge98de0322007-05-02 19:27:14 +0200566 struct paravirt_patch_site *p;
Andi Kleenab144f52007-08-10 22:31:03 +0200567 char insnbuf[MAX_PATCH_LEN];
Rusty Russell139ec7c2006-12-07 02:14:08 +0100568
Jeremy Fitzhardinge959b4fd2007-05-02 19:27:16 +0200569 if (noreplace_paravirt)
570 return;
571
Rusty Russell139ec7c2006-12-07 02:14:08 +0100572 for (p = start; p < end; p++) {
573 unsigned int used;
574
Andi Kleenab144f52007-08-10 22:31:03 +0200575 BUG_ON(p->len > MAX_PATCH_LEN);
Chris Wrightd34fda42007-08-18 14:31:41 -0700576 /* prep the buffer with the original instructions */
577 memcpy(insnbuf, p->instr, p->len);
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700578 used = pv_init_ops.patch(p->instrtype, p->clobbers, insnbuf,
579 (unsigned long)p->instr, p->len);
Jeremy Fitzhardinge7f63c412007-05-02 19:27:13 +0200580
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200581 BUG_ON(used > p->len);
582
Rusty Russell139ec7c2006-12-07 02:14:08 +0100583 /* Pad the rest with nops */
Andi Kleenab144f52007-08-10 22:31:03 +0200584 add_nops(insnbuf + used, p->len - used);
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500585 text_poke_early(p->instr, insnbuf, p->len);
Rusty Russell139ec7c2006-12-07 02:14:08 +0100586 }
Rusty Russell139ec7c2006-12-07 02:14:08 +0100587}
Jeremy Fitzhardinge98de0322007-05-02 19:27:14 +0200588extern struct paravirt_patch_site __start_parainstructions[],
Rusty Russell139ec7c2006-12-07 02:14:08 +0100589 __stop_parainstructions[];
590#endif /* CONFIG_PARAVIRT */
591
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800592void __init alternative_instructions(void)
593{
Andi Kleen8f4e9562007-07-22 11:12:32 +0200594 /* The patching is not fully atomic, so try to avoid local interruptions
595 that might execute the to be patched code.
596 Other CPUs are not running. */
597 stop_nmi();
Andi Kleen123aa762009-02-12 13:39:27 +0100598
599 /*
600 * Don't stop machine check exceptions while patching.
601 * MCEs only happen when something got corrupted and in this
602 * case we must do something about the corruption.
603 * Ignoring it is worse than a unlikely patching race.
604 * Also machine checks tend to be broadcast and if one CPU
605 * goes into machine check the others follow quickly, so we don't
606 * expect a machine check to cause undue problems during to code
607 * patching.
608 */
Andi Kleen8f4e9562007-07-22 11:12:32 +0200609
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800610 apply_alternatives(__alt_instructions, __alt_instructions_end);
611
Gerd Hoffmann8ec4d412006-07-01 04:36:18 -0700612#ifdef CONFIG_SMP
Rusty Russell816afe42012-08-06 17:29:49 +0930613 /* Patch to UP if other cpus not imminent. */
614 if (!noreplace_smp && (num_present_cpus() == 1 || setup_max_cpus <= 1)) {
615 uniproc_patched = true;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800616 alternatives_smp_module_add(NULL, "core kernel",
617 __smp_locks, __smp_locks_end,
618 _text, _etext);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800619 }
Andi Kleen8f4e9562007-07-22 11:12:32 +0200620
Rusty Russell816afe42012-08-06 17:29:49 +0930621 if (!uniproc_patched || num_possible_cpus() == 1)
Fengguang Wuf68fd5f2007-10-17 18:04:34 +0200622 free_init_pages("SMP alternatives",
623 (unsigned long)__smp_locks,
624 (unsigned long)__smp_locks_end);
Rusty Russell816afe42012-08-06 17:29:49 +0930625#endif
626
627 apply_paravirt(__parainstructions, __parainstructions_end);
Fengguang Wuf68fd5f2007-10-17 18:04:34 +0200628
Andi Kleen8f4e9562007-07-22 11:12:32 +0200629 restart_nmi();
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800630}
Andi Kleen19d36cc2007-07-22 11:12:31 +0200631
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500632/**
633 * text_poke_early - Update instructions on a live kernel at boot time
634 * @addr: address to modify
635 * @opcode: source of the copy
636 * @len: length to copy
637 *
Andi Kleen19d36cc2007-07-22 11:12:31 +0200638 * When you use this code to patch more than one byte of an instruction
639 * you need to make sure that other CPUs cannot execute this code in parallel.
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500640 * Also no thread must be currently preempted in the middle of these
641 * instructions. And on the local CPU you need to be protected again NMI or MCE
642 * handlers seeing an inconsistent instruction while you patch.
Andi Kleen19d36cc2007-07-22 11:12:31 +0200643 */
Jason Baronfa6f2cc2010-09-17 11:08:56 -0400644void *__init_or_module text_poke_early(void *addr, const void *opcode,
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100645 size_t len)
Andi Kleen19d36cc2007-07-22 11:12:31 +0200646{
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500647 unsigned long flags;
648 local_irq_save(flags);
Andi Kleen19d36cc2007-07-22 11:12:31 +0200649 memcpy(addr, opcode, len);
650 sync_core();
Ben Hutchings5367b6882009-09-10 02:53:50 +0100651 local_irq_restore(flags);
Andi Kleena534b672007-09-06 16:59:52 +0200652 /* Could also do a CLFLUSH here to speed up CPU recovery; but
653 that causes hangs on some VIA CPUs. */
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500654 return addr;
655}
656
657/**
658 * text_poke - Update instructions on a live kernel
659 * @addr: address to modify
660 * @opcode: source of the copy
661 * @len: length to copy
662 *
663 * Only atomic text poke/set should be allowed when not doing early patching.
664 * It means the size must be writable atomically and the address must be aligned
665 * in a way that permits an atomic write. It also makes sure we fit on a single
666 * page.
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -0500667 *
668 * Note: Must be called under text_mutex.
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500669 */
Masami Hiramatsu9c54b612014-04-17 17:18:07 +0900670void *text_poke(void *addr, const void *opcode, size_t len)
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500671{
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -0500672 unsigned long flags;
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500673 char *vaddr;
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400674 struct page *pages[2];
675 int i;
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500676
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400677 if (!core_kernel_text((unsigned long)addr)) {
678 pages[0] = vmalloc_to_page(addr);
679 pages[1] = vmalloc_to_page(addr + PAGE_SIZE);
Mathieu Desnoyers15a601e2008-03-12 11:54:16 -0400680 } else {
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400681 pages[0] = virt_to_page(addr);
Ingo Molnar00c6b2d2008-04-25 17:07:03 +0200682 WARN_ON(!PageReserved(pages[0]));
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400683 pages[1] = virt_to_page(addr + PAGE_SIZE);
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500684 }
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400685 BUG_ON(!pages[0]);
Masami Hiramatsu7cf49422009-03-09 12:40:40 -0400686 local_irq_save(flags);
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -0500687 set_fixmap(FIX_TEXT_POKE0, page_to_phys(pages[0]));
688 if (pages[1])
689 set_fixmap(FIX_TEXT_POKE1, page_to_phys(pages[1]));
690 vaddr = (char *)fix_to_virt(FIX_TEXT_POKE0);
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400691 memcpy(&vaddr[(unsigned long)addr & ~PAGE_MASK], opcode, len);
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -0500692 clear_fixmap(FIX_TEXT_POKE0);
693 if (pages[1])
694 clear_fixmap(FIX_TEXT_POKE1);
695 local_flush_tlb();
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500696 sync_core();
697 /* Could also do a CLFLUSH here to speed up CPU recovery; but
698 that causes hangs on some VIA CPUs. */
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400699 for (i = 0; i < len; i++)
700 BUG_ON(((char *)addr)[i] != ((char *)opcode)[i]);
Masami Hiramatsu7cf49422009-03-09 12:40:40 -0400701 local_irq_restore(flags);
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500702 return addr;
Andi Kleen19d36cc2007-07-22 11:12:31 +0200703}
Masami Hiramatsu3d55cc82010-02-25 08:34:38 -0500704
Jiri Kosinafd4363f2013-07-12 11:21:48 +0200705static void do_sync_core(void *info)
706{
707 sync_core();
708}
709
710static bool bp_patching_in_progress;
711static void *bp_int3_handler, *bp_int3_addr;
712
Jiri Kosina17f41572013-07-23 10:09:28 +0200713int poke_int3_handler(struct pt_regs *regs)
Jiri Kosinafd4363f2013-07-12 11:21:48 +0200714{
Jiri Kosinafd4363f2013-07-12 11:21:48 +0200715 /* bp_patching_in_progress */
716 smp_rmb();
717
718 if (likely(!bp_patching_in_progress))
Jiri Kosina17f41572013-07-23 10:09:28 +0200719 return 0;
Jiri Kosinafd4363f2013-07-12 11:21:48 +0200720
Andy Lutomirskif39b6f02015-03-18 18:33:33 -0700721 if (user_mode(regs) || regs->ip != (unsigned long)bp_int3_addr)
Jiri Kosina17f41572013-07-23 10:09:28 +0200722 return 0;
Jiri Kosinafd4363f2013-07-12 11:21:48 +0200723
724 /* set up the specified breakpoint handler */
Jiri Kosina17f41572013-07-23 10:09:28 +0200725 regs->ip = (unsigned long) bp_int3_handler;
Jiri Kosinafd4363f2013-07-12 11:21:48 +0200726
Jiri Kosina17f41572013-07-23 10:09:28 +0200727 return 1;
728
Jiri Kosinafd4363f2013-07-12 11:21:48 +0200729}
Jiri Kosina17f41572013-07-23 10:09:28 +0200730
Jiri Kosinafd4363f2013-07-12 11:21:48 +0200731/**
732 * text_poke_bp() -- update instructions on live kernel on SMP
733 * @addr: address to patch
734 * @opcode: opcode of new instruction
735 * @len: length to copy
736 * @handler: address to jump to when the temporary breakpoint is hit
737 *
738 * Modify multi-byte instruction by using int3 breakpoint on SMP.
Masami Hiramatsuea8596b2013-07-18 20:47:53 +0900739 * We completely avoid stop_machine() here, and achieve the
740 * synchronization using int3 breakpoint.
Jiri Kosinafd4363f2013-07-12 11:21:48 +0200741 *
742 * The way it is done:
743 * - add a int3 trap to the address that will be patched
744 * - sync cores
745 * - update all but the first byte of the patched range
746 * - sync cores
747 * - replace the first byte (int3) by the first byte of
748 * replacing opcode
749 * - sync cores
750 *
751 * Note: must be called under text_mutex.
752 */
753void *text_poke_bp(void *addr, const void *opcode, size_t len, void *handler)
754{
755 unsigned char int3 = 0xcc;
756
757 bp_int3_handler = handler;
758 bp_int3_addr = (u8 *)addr + sizeof(int3);
759 bp_patching_in_progress = true;
760 /*
761 * Corresponding read barrier in int3 notifier for
762 * making sure the in_progress flags is correctly ordered wrt.
763 * patching
764 */
765 smp_wmb();
766
767 text_poke(addr, &int3, sizeof(int3));
768
769 on_each_cpu(do_sync_core, NULL, 1);
770
771 if (len - sizeof(int3) > 0) {
772 /* patch all but the first byte */
773 text_poke((char *)addr + sizeof(int3),
774 (const char *) opcode + sizeof(int3),
775 len - sizeof(int3));
776 /*
777 * According to Intel, this core syncing is very likely
778 * not necessary and we'd be safe even without it. But
779 * better safe than sorry (plus there's not only Intel).
780 */
781 on_each_cpu(do_sync_core, NULL, 1);
782 }
783
784 /* patch the first byte */
785 text_poke(addr, opcode, sizeof(int3));
786
787 on_each_cpu(do_sync_core, NULL, 1);
788
789 bp_patching_in_progress = false;
790 smp_wmb();
791
792 return addr;
793}
794