blob: 70237732a6c7c5f62f941d5df0594f7386ca6a10 [file] [log] [blame]
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -08001#include <linux/module.h>
Al Virof6a57032006-10-18 01:47:25 -04002#include <linux/sched.h>
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +02003#include <linux/mutex.h>
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -08004#include <linux/list.h>
Jan Beulich8b5a10f2009-08-19 08:40:48 +01005#include <linux/stringify.h>
Andi Kleen19d36cc2007-07-22 11:12:31 +02006#include <linux/kprobes.h>
7#include <linux/mm.h>
8#include <linux/vmalloc.h>
Masami Hiramatsu3945dab2009-03-06 10:37:22 -05009#include <linux/memory.h>
Masami Hiramatsu3d55cc82010-02-25 08:34:38 -050010#include <linux/stop_machine.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090011#include <linux/slab.h>
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -080012#include <asm/alternative.h>
13#include <asm/sections.h>
Andi Kleen19d36cc2007-07-22 11:12:31 +020014#include <asm/pgtable.h>
Andi Kleen8f4e9562007-07-22 11:12:32 +020015#include <asm/mce.h>
16#include <asm/nmi.h>
Dave Jonesb0979762007-10-14 22:57:45 +020017#include <asm/vsyscall.h>
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -050018#include <asm/cacheflush.h>
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -050019#include <asm/tlbflush.h>
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -050020#include <asm/io.h>
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -050021#include <asm/fixmap.h>
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -080022
Andi Kleenab144f52007-08-10 22:31:03 +020023#define MAX_PATCH_LEN (255-1)
24
Jan Beulich09488162007-07-21 17:10:25 +020025#ifdef CONFIG_HOTPLUG_CPU
26static int smp_alt_once;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -080027
Gerd Hoffmannd167a512006-06-26 13:56:16 +020028static int __init bootonly(char *str)
29{
30 smp_alt_once = 1;
31 return 1;
32}
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +020033__setup("smp-alt-boot", bootonly);
Jan Beulich09488162007-07-21 17:10:25 +020034#else
35#define smp_alt_once 1
36#endif
37
Jan Beulich8b5a10f2009-08-19 08:40:48 +010038static int __initdata_or_module debug_alternative;
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +020039
Gerd Hoffmannd167a512006-06-26 13:56:16 +020040static int __init debug_alt(char *str)
41{
42 debug_alternative = 1;
43 return 1;
44}
Gerd Hoffmannd167a512006-06-26 13:56:16 +020045__setup("debug-alternative", debug_alt);
46
Jan Beulich09488162007-07-21 17:10:25 +020047static int noreplace_smp;
48
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +020049static int __init setup_noreplace_smp(char *str)
50{
51 noreplace_smp = 1;
52 return 1;
53}
54__setup("noreplace-smp", setup_noreplace_smp);
55
Jeremy Fitzhardinge959b4fd2007-05-02 19:27:16 +020056#ifdef CONFIG_PARAVIRT
Jan Beulich8b5a10f2009-08-19 08:40:48 +010057static int __initdata_or_module noreplace_paravirt = 0;
Jeremy Fitzhardinge959b4fd2007-05-02 19:27:16 +020058
59static int __init setup_noreplace_paravirt(char *str)
60{
61 noreplace_paravirt = 1;
62 return 1;
63}
64__setup("noreplace-paravirt", setup_noreplace_paravirt);
65#endif
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +020066
Gerd Hoffmannd167a512006-06-26 13:56:16 +020067#define DPRINTK(fmt, args...) if (debug_alternative) \
68 printk(KERN_DEBUG fmt, args)
69
Jan Beulich8b5a10f2009-08-19 08:40:48 +010070#if defined(GENERIC_NOP1) && !defined(CONFIG_X86_64)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -080071/* Use inline assembly to define this because the nops are defined
72 as inline assembly strings in the include files and we cannot
73 get them easily into strings. */
Jan Beulich8b5a10f2009-08-19 08:40:48 +010074asm("\t" __stringify(__INITRODATA_OR_MODULE) "\nintelnops: "
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -080075 GENERIC_NOP1 GENERIC_NOP2 GENERIC_NOP3 GENERIC_NOP4 GENERIC_NOP5 GENERIC_NOP6
Steven Rostedtf4be31e2008-04-09 19:04:07 -040076 GENERIC_NOP7 GENERIC_NOP8
77 "\t.previous");
Jan Beulich121d7bf2007-10-17 18:04:37 +020078extern const unsigned char intelnops[];
Jan Beulich8b5a10f2009-08-19 08:40:48 +010079static const unsigned char *const __initconst_or_module
80intel_nops[ASM_NOP_MAX+1] = {
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -080081 NULL,
82 intelnops,
83 intelnops + 1,
84 intelnops + 1 + 2,
85 intelnops + 1 + 2 + 3,
86 intelnops + 1 + 2 + 3 + 4,
87 intelnops + 1 + 2 + 3 + 4 + 5,
88 intelnops + 1 + 2 + 3 + 4 + 5 + 6,
89 intelnops + 1 + 2 + 3 + 4 + 5 + 6 + 7,
90};
Gerd Hoffmannd167a512006-06-26 13:56:16 +020091#endif
92
93#ifdef K8_NOP1
Jan Beulich8b5a10f2009-08-19 08:40:48 +010094asm("\t" __stringify(__INITRODATA_OR_MODULE) "\nk8nops: "
Gerd Hoffmannd167a512006-06-26 13:56:16 +020095 K8_NOP1 K8_NOP2 K8_NOP3 K8_NOP4 K8_NOP5 K8_NOP6
Steven Rostedtf4be31e2008-04-09 19:04:07 -040096 K8_NOP7 K8_NOP8
97 "\t.previous");
Jan Beulich121d7bf2007-10-17 18:04:37 +020098extern const unsigned char k8nops[];
Jan Beulich8b5a10f2009-08-19 08:40:48 +010099static const unsigned char *const __initconst_or_module
100k8_nops[ASM_NOP_MAX+1] = {
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800101 NULL,
102 k8nops,
103 k8nops + 1,
104 k8nops + 1 + 2,
105 k8nops + 1 + 2 + 3,
106 k8nops + 1 + 2 + 3 + 4,
107 k8nops + 1 + 2 + 3 + 4 + 5,
108 k8nops + 1 + 2 + 3 + 4 + 5 + 6,
109 k8nops + 1 + 2 + 3 + 4 + 5 + 6 + 7,
110};
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200111#endif
112
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100113#if defined(K7_NOP1) && !defined(CONFIG_X86_64)
114asm("\t" __stringify(__INITRODATA_OR_MODULE) "\nk7nops: "
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200115 K7_NOP1 K7_NOP2 K7_NOP3 K7_NOP4 K7_NOP5 K7_NOP6
Steven Rostedtf4be31e2008-04-09 19:04:07 -0400116 K7_NOP7 K7_NOP8
117 "\t.previous");
Jan Beulich121d7bf2007-10-17 18:04:37 +0200118extern const unsigned char k7nops[];
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100119static const unsigned char *const __initconst_or_module
120k7_nops[ASM_NOP_MAX+1] = {
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800121 NULL,
122 k7nops,
123 k7nops + 1,
124 k7nops + 1 + 2,
125 k7nops + 1 + 2 + 3,
126 k7nops + 1 + 2 + 3 + 4,
127 k7nops + 1 + 2 + 3 + 4 + 5,
128 k7nops + 1 + 2 + 3 + 4 + 5 + 6,
129 k7nops + 1 + 2 + 3 + 4 + 5 + 6 + 7,
130};
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200131#endif
132
Jan Beulich32c464f2007-10-17 18:04:41 +0200133#ifdef P6_NOP1
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100134asm("\t" __stringify(__INITRODATA_OR_MODULE) "\np6nops: "
Jan Beulich32c464f2007-10-17 18:04:41 +0200135 P6_NOP1 P6_NOP2 P6_NOP3 P6_NOP4 P6_NOP5 P6_NOP6
Steven Rostedtf4be31e2008-04-09 19:04:07 -0400136 P6_NOP7 P6_NOP8
137 "\t.previous");
Jan Beulich32c464f2007-10-17 18:04:41 +0200138extern const unsigned char p6nops[];
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100139static const unsigned char *const __initconst_or_module
140p6_nops[ASM_NOP_MAX+1] = {
Jan Beulich32c464f2007-10-17 18:04:41 +0200141 NULL,
142 p6nops,
143 p6nops + 1,
144 p6nops + 1 + 2,
145 p6nops + 1 + 2 + 3,
146 p6nops + 1 + 2 + 3 + 4,
147 p6nops + 1 + 2 + 3 + 4 + 5,
148 p6nops + 1 + 2 + 3 + 4 + 5 + 6,
149 p6nops + 1 + 2 + 3 + 4 + 5 + 6 + 7,
150};
151#endif
152
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200153#ifdef CONFIG_X86_64
154
155extern char __vsyscall_0;
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100156static const unsigned char *const *__init_or_module find_nop_table(void)
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200157{
H. Peter Anvinf31d7312008-08-18 17:50:33 -0700158 if (boot_cpu_data.x86_vendor == X86_VENDOR_INTEL &&
159 boot_cpu_has(X86_FEATURE_NOPL))
160 return p6_nops;
161 else
162 return k8_nops;
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200163}
164
165#else /* CONFIG_X86_64 */
166
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100167static const unsigned char *const *__init_or_module find_nop_table(void)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800168{
H. Peter Anvinf31d7312008-08-18 17:50:33 -0700169 if (boot_cpu_has(X86_FEATURE_K8))
170 return k8_nops;
171 else if (boot_cpu_has(X86_FEATURE_K7))
172 return k7_nops;
173 else if (boot_cpu_has(X86_FEATURE_NOPL))
174 return p6_nops;
175 else
176 return intel_nops;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800177}
178
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200179#endif /* CONFIG_X86_64 */
180
Andi Kleenab144f52007-08-10 22:31:03 +0200181/* Use this to add nops to a buffer, then text_poke the whole buffer. */
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100182static void __init_or_module add_nops(void *insns, unsigned int len)
Rusty Russell139ec7c2006-12-07 02:14:08 +0100183{
Jan Beulich121d7bf2007-10-17 18:04:37 +0200184 const unsigned char *const *noptable = find_nop_table();
Rusty Russell139ec7c2006-12-07 02:14:08 +0100185
186 while (len > 0) {
187 unsigned int noplen = len;
188 if (noplen > ASM_NOP_MAX)
189 noplen = ASM_NOP_MAX;
Andi Kleenab144f52007-08-10 22:31:03 +0200190 memcpy(insns, noptable[noplen], noplen);
Rusty Russell139ec7c2006-12-07 02:14:08 +0100191 insns += noplen;
192 len -= noplen;
193 }
194}
195
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200196extern struct alt_instr __alt_instructions[], __alt_instructions_end[];
Jan Beulich5967ed82010-04-21 16:08:14 +0100197extern s32 __smp_locks[], __smp_locks_end[];
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100198static void *text_poke_early(void *addr, const void *opcode, size_t len);
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200199
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800200/* Replace instructions with better alternatives for this CPU type.
201 This runs before SMP is initialized to avoid SMP problems with
202 self modifying code. This implies that assymetric systems where
203 APs have less capabilities than the boot processor are not handled.
204 Tough. Make sure you disable such features by hand. */
205
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100206void __init_or_module apply_alternatives(struct alt_instr *start,
207 struct alt_instr *end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800208{
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800209 struct alt_instr *a;
Jan Beulich1b1d9252009-12-18 16:12:56 +0000210 u8 insnbuf[MAX_PATCH_LEN];
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800211
Harvey Harrison77bf90e2008-03-03 11:37:23 -0800212 DPRINTK("%s: alt table %p -> %p\n", __func__, start, end);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800213 for (a = start; a < end; a++) {
Andi Kleenab144f52007-08-10 22:31:03 +0200214 u8 *instr = a->instr;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800215 BUG_ON(a->replacementlen > a->instrlen);
Andi Kleenab144f52007-08-10 22:31:03 +0200216 BUG_ON(a->instrlen > sizeof(insnbuf));
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800217 if (!boot_cpu_has(a->cpuid))
218 continue;
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200219#ifdef CONFIG_X86_64
220 /* vsyscall code is not mapped yet. resolve it manually. */
221 if (instr >= (u8 *)VSYSCALL_START && instr < (u8*)VSYSCALL_END) {
222 instr = __va(instr - (u8*)VSYSCALL_START + (u8*)__pa_symbol(&__vsyscall_0));
223 DPRINTK("%s: vsyscall fixup: %p => %p\n",
Harvey Harrison77bf90e2008-03-03 11:37:23 -0800224 __func__, a->instr, instr);
Gerd Hoffmannd167a512006-06-26 13:56:16 +0200225 }
226#endif
Andi Kleenab144f52007-08-10 22:31:03 +0200227 memcpy(insnbuf, a->replacement, a->replacementlen);
Jan Beulich1b1d9252009-12-18 16:12:56 +0000228 if (*insnbuf == 0xe8 && a->replacementlen == 5)
229 *(s32 *)(insnbuf + 1) += a->replacement - a->instr;
Andi Kleenab144f52007-08-10 22:31:03 +0200230 add_nops(insnbuf + a->replacementlen,
231 a->instrlen - a->replacementlen);
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500232 text_poke_early(instr, insnbuf, a->instrlen);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800233 }
234}
235
Gerd Hoffmann8ec4d412006-07-01 04:36:18 -0700236#ifdef CONFIG_SMP
237
Jan Beulich5967ed82010-04-21 16:08:14 +0100238static void alternatives_smp_lock(const s32 *start, const s32 *end,
239 u8 *text, u8 *text_end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800240{
Jan Beulich5967ed82010-04-21 16:08:14 +0100241 const s32 *poff;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800242
Masami Hiramatsu3945dab2009-03-06 10:37:22 -0500243 mutex_lock(&text_mutex);
Jan Beulich5967ed82010-04-21 16:08:14 +0100244 for (poff = start; poff < end; poff++) {
245 u8 *ptr = (u8 *)poff + *poff;
246
247 if (!*poff || ptr < text || ptr >= text_end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800248 continue;
Mathieu Desnoyersf88f07e2008-08-14 16:58:15 -0400249 /* turn DS segment override prefix into lock prefix */
H. Peter Anvind9c58412010-04-29 16:53:17 -0700250 if (*ptr == 0x3e)
251 text_poke(ptr, ((unsigned char []){0xf0}), 1);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800252 };
Masami Hiramatsu3945dab2009-03-06 10:37:22 -0500253 mutex_unlock(&text_mutex);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800254}
255
Jan Beulich5967ed82010-04-21 16:08:14 +0100256static void alternatives_smp_unlock(const s32 *start, const s32 *end,
257 u8 *text, u8 *text_end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800258{
Jan Beulich5967ed82010-04-21 16:08:14 +0100259 const s32 *poff;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800260
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +0200261 if (noreplace_smp)
262 return;
263
Masami Hiramatsu3945dab2009-03-06 10:37:22 -0500264 mutex_lock(&text_mutex);
Jan Beulich5967ed82010-04-21 16:08:14 +0100265 for (poff = start; poff < end; poff++) {
266 u8 *ptr = (u8 *)poff + *poff;
267
268 if (!*poff || ptr < text || ptr >= text_end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800269 continue;
Mathieu Desnoyersf88f07e2008-08-14 16:58:15 -0400270 /* turn lock prefix into DS segment override prefix */
H. Peter Anvind9c58412010-04-29 16:53:17 -0700271 if (*ptr == 0xf0)
272 text_poke(ptr, ((unsigned char []){0x3E}), 1);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800273 };
Masami Hiramatsu3945dab2009-03-06 10:37:22 -0500274 mutex_unlock(&text_mutex);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800275}
276
277struct smp_alt_module {
278 /* what is this ??? */
279 struct module *mod;
280 char *name;
281
282 /* ptrs to lock prefixes */
Jan Beulich5967ed82010-04-21 16:08:14 +0100283 const s32 *locks;
284 const s32 *locks_end;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800285
286 /* .text segment, needed to avoid patching init code ;) */
287 u8 *text;
288 u8 *text_end;
289
290 struct list_head next;
291};
292static LIST_HEAD(smp_alt_modules);
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200293static DEFINE_MUTEX(smp_alt);
Andi Kleenca74a6f2008-01-30 13:33:17 +0100294static int smp_mode = 1; /* protected by smp_alt */
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800295
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100296void __init_or_module alternatives_smp_module_add(struct module *mod,
297 char *name,
298 void *locks, void *locks_end,
299 void *text, void *text_end)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800300{
301 struct smp_alt_module *smp;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800302
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +0200303 if (noreplace_smp)
304 return;
305
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800306 if (smp_alt_once) {
307 if (boot_cpu_has(X86_FEATURE_UP))
308 alternatives_smp_unlock(locks, locks_end,
309 text, text_end);
310 return;
311 }
312
313 smp = kzalloc(sizeof(*smp), GFP_KERNEL);
314 if (NULL == smp)
315 return; /* we'll run the (safe but slow) SMP code then ... */
316
317 smp->mod = mod;
318 smp->name = name;
319 smp->locks = locks;
320 smp->locks_end = locks_end;
321 smp->text = text;
322 smp->text_end = text_end;
323 DPRINTK("%s: locks %p -> %p, text %p -> %p, name %s\n",
Harvey Harrison77bf90e2008-03-03 11:37:23 -0800324 __func__, smp->locks, smp->locks_end,
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800325 smp->text, smp->text_end, smp->name);
326
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200327 mutex_lock(&smp_alt);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800328 list_add_tail(&smp->next, &smp_alt_modules);
329 if (boot_cpu_has(X86_FEATURE_UP))
330 alternatives_smp_unlock(smp->locks, smp->locks_end,
331 smp->text, smp->text_end);
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200332 mutex_unlock(&smp_alt);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800333}
334
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100335void __init_or_module alternatives_smp_module_del(struct module *mod)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800336{
337 struct smp_alt_module *item;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800338
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +0200339 if (smp_alt_once || noreplace_smp)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800340 return;
341
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200342 mutex_lock(&smp_alt);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800343 list_for_each_entry(item, &smp_alt_modules, next) {
344 if (mod != item->mod)
345 continue;
346 list_del(&item->next);
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200347 mutex_unlock(&smp_alt);
Harvey Harrison77bf90e2008-03-03 11:37:23 -0800348 DPRINTK("%s: %s\n", __func__, item->name);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800349 kfree(item);
350 return;
351 }
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200352 mutex_unlock(&smp_alt);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800353}
354
355void alternatives_smp_switch(int smp)
356{
357 struct smp_alt_module *mod;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800358
Ingo Molnar3047e992006-07-03 00:24:57 -0700359#ifdef CONFIG_LOCKDEP
360 /*
Ingo Molnar17abecf2008-01-30 13:33:24 +0100361 * Older binutils section handling bug prevented
362 * alternatives-replacement from working reliably.
363 *
364 * If this still occurs then you should see a hang
365 * or crash shortly after this line:
Ingo Molnar3047e992006-07-03 00:24:57 -0700366 */
Ingo Molnar17abecf2008-01-30 13:33:24 +0100367 printk("lockdep: fixing up alternatives.\n");
Ingo Molnar3047e992006-07-03 00:24:57 -0700368#endif
369
Jeremy Fitzhardingeb7fb4af2007-05-02 19:27:13 +0200370 if (noreplace_smp || smp_alt_once)
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800371 return;
372 BUG_ON(!smp && (num_online_cpus() > 1));
373
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200374 mutex_lock(&smp_alt);
Andi Kleenca74a6f2008-01-30 13:33:17 +0100375
376 /*
377 * Avoid unnecessary switches because it forces JIT based VMs to
378 * throw away all cached translations, which can be quite costly.
379 */
380 if (smp == smp_mode) {
381 /* nothing */
382 } else if (smp) {
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800383 printk(KERN_INFO "SMP alternatives: switching to SMP code\n");
Jeremy Fitzhardinge53756d32008-01-30 13:30:55 +0100384 clear_cpu_cap(&boot_cpu_data, X86_FEATURE_UP);
385 clear_cpu_cap(&cpu_data(0), X86_FEATURE_UP);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800386 list_for_each_entry(mod, &smp_alt_modules, next)
387 alternatives_smp_lock(mod->locks, mod->locks_end,
388 mod->text, mod->text_end);
389 } else {
390 printk(KERN_INFO "SMP alternatives: switching to UP code\n");
Jeremy Fitzhardinge53756d32008-01-30 13:30:55 +0100391 set_cpu_cap(&boot_cpu_data, X86_FEATURE_UP);
392 set_cpu_cap(&cpu_data(0), X86_FEATURE_UP);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800393 list_for_each_entry(mod, &smp_alt_modules, next)
394 alternatives_smp_unlock(mod->locks, mod->locks_end,
395 mod->text, mod->text_end);
396 }
Andi Kleenca74a6f2008-01-30 13:33:17 +0100397 smp_mode = smp;
Pekka Paalanen2f1dafe2008-05-12 21:21:01 +0200398 mutex_unlock(&smp_alt);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800399}
400
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -0500401/* Return 1 if the address range is reserved for smp-alternatives */
402int alternatives_text_reserved(void *start, void *end)
403{
404 struct smp_alt_module *mod;
Jan Beulich5967ed82010-04-21 16:08:14 +0100405 const s32 *poff;
Masami Hiramatsu076dc4a62010-02-05 12:16:47 -0500406 u8 *text_start = start;
407 u8 *text_end = end;
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -0500408
409 list_for_each_entry(mod, &smp_alt_modules, next) {
Masami Hiramatsu076dc4a62010-02-05 12:16:47 -0500410 if (mod->text > text_end || mod->text_end < text_start)
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -0500411 continue;
Jan Beulich5967ed82010-04-21 16:08:14 +0100412 for (poff = mod->locks; poff < mod->locks_end; poff++) {
413 const u8 *ptr = (const u8 *)poff + *poff;
414
415 if (text_start <= ptr && text_end > ptr)
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -0500416 return 1;
Jan Beulich5967ed82010-04-21 16:08:14 +0100417 }
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -0500418 }
419
420 return 0;
421}
Gerd Hoffmann8ec4d412006-07-01 04:36:18 -0700422#endif
423
Rusty Russell139ec7c2006-12-07 02:14:08 +0100424#ifdef CONFIG_PARAVIRT
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100425void __init_or_module apply_paravirt(struct paravirt_patch_site *start,
426 struct paravirt_patch_site *end)
Rusty Russell139ec7c2006-12-07 02:14:08 +0100427{
Jeremy Fitzhardinge98de0322007-05-02 19:27:14 +0200428 struct paravirt_patch_site *p;
Andi Kleenab144f52007-08-10 22:31:03 +0200429 char insnbuf[MAX_PATCH_LEN];
Rusty Russell139ec7c2006-12-07 02:14:08 +0100430
Jeremy Fitzhardinge959b4fd2007-05-02 19:27:16 +0200431 if (noreplace_paravirt)
432 return;
433
Rusty Russell139ec7c2006-12-07 02:14:08 +0100434 for (p = start; p < end; p++) {
435 unsigned int used;
436
Andi Kleenab144f52007-08-10 22:31:03 +0200437 BUG_ON(p->len > MAX_PATCH_LEN);
Chris Wrightd34fda42007-08-18 14:31:41 -0700438 /* prep the buffer with the original instructions */
439 memcpy(insnbuf, p->instr, p->len);
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700440 used = pv_init_ops.patch(p->instrtype, p->clobbers, insnbuf,
441 (unsigned long)p->instr, p->len);
Jeremy Fitzhardinge7f63c412007-05-02 19:27:13 +0200442
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200443 BUG_ON(used > p->len);
444
Rusty Russell139ec7c2006-12-07 02:14:08 +0100445 /* Pad the rest with nops */
Andi Kleenab144f52007-08-10 22:31:03 +0200446 add_nops(insnbuf + used, p->len - used);
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500447 text_poke_early(p->instr, insnbuf, p->len);
Rusty Russell139ec7c2006-12-07 02:14:08 +0100448 }
Rusty Russell139ec7c2006-12-07 02:14:08 +0100449}
Jeremy Fitzhardinge98de0322007-05-02 19:27:14 +0200450extern struct paravirt_patch_site __start_parainstructions[],
Rusty Russell139ec7c2006-12-07 02:14:08 +0100451 __stop_parainstructions[];
452#endif /* CONFIG_PARAVIRT */
453
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800454void __init alternative_instructions(void)
455{
Andi Kleen8f4e9562007-07-22 11:12:32 +0200456 /* The patching is not fully atomic, so try to avoid local interruptions
457 that might execute the to be patched code.
458 Other CPUs are not running. */
459 stop_nmi();
Andi Kleen123aa762009-02-12 13:39:27 +0100460
461 /*
462 * Don't stop machine check exceptions while patching.
463 * MCEs only happen when something got corrupted and in this
464 * case we must do something about the corruption.
465 * Ignoring it is worse than a unlikely patching race.
466 * Also machine checks tend to be broadcast and if one CPU
467 * goes into machine check the others follow quickly, so we don't
468 * expect a machine check to cause undue problems during to code
469 * patching.
470 */
Andi Kleen8f4e9562007-07-22 11:12:32 +0200471
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800472 apply_alternatives(__alt_instructions, __alt_instructions_end);
473
474 /* switch to patch-once-at-boottime-only mode and free the
475 * tables in case we know the number of CPUs will never ever
476 * change */
477#ifdef CONFIG_HOTPLUG_CPU
478 if (num_possible_cpus() < 2)
479 smp_alt_once = 1;
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800480#endif
481
Gerd Hoffmann8ec4d412006-07-01 04:36:18 -0700482#ifdef CONFIG_SMP
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800483 if (smp_alt_once) {
484 if (1 == num_possible_cpus()) {
485 printk(KERN_INFO "SMP alternatives: switching to UP code\n");
Jeremy Fitzhardinge53756d32008-01-30 13:30:55 +0100486 set_cpu_cap(&boot_cpu_data, X86_FEATURE_UP);
487 set_cpu_cap(&cpu_data(0), X86_FEATURE_UP);
488
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800489 alternatives_smp_unlock(__smp_locks, __smp_locks_end,
490 _text, _etext);
491 }
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800492 } else {
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800493 alternatives_smp_module_add(NULL, "core kernel",
494 __smp_locks, __smp_locks_end,
495 _text, _etext);
Andi Kleenca74a6f2008-01-30 13:33:17 +0100496
497 /* Only switch to UP mode if we don't immediately boot others */
Thomas Gleixner649c6652008-10-05 16:52:24 +0200498 if (num_present_cpus() == 1 || setup_max_cpus <= 1)
Andi Kleenca74a6f2008-01-30 13:33:17 +0100499 alternatives_smp_switch(0);
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800500 }
Gerd Hoffmann8ec4d412006-07-01 04:36:18 -0700501#endif
Jeremy Fitzhardinge441d40d2007-05-02 19:27:16 +0200502 apply_paravirt(__parainstructions, __parainstructions_end);
Andi Kleen8f4e9562007-07-22 11:12:32 +0200503
Fengguang Wuf68fd5f2007-10-17 18:04:34 +0200504 if (smp_alt_once)
505 free_init_pages("SMP alternatives",
506 (unsigned long)__smp_locks,
507 (unsigned long)__smp_locks_end);
508
Andi Kleen8f4e9562007-07-22 11:12:32 +0200509 restart_nmi();
Gerd Hoffmann9a0b5812006-03-23 02:59:32 -0800510}
Andi Kleen19d36cc2007-07-22 11:12:31 +0200511
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500512/**
513 * text_poke_early - Update instructions on a live kernel at boot time
514 * @addr: address to modify
515 * @opcode: source of the copy
516 * @len: length to copy
517 *
Andi Kleen19d36cc2007-07-22 11:12:31 +0200518 * When you use this code to patch more than one byte of an instruction
519 * you need to make sure that other CPUs cannot execute this code in parallel.
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500520 * Also no thread must be currently preempted in the middle of these
521 * instructions. And on the local CPU you need to be protected again NMI or MCE
522 * handlers seeing an inconsistent instruction while you patch.
Andi Kleen19d36cc2007-07-22 11:12:31 +0200523 */
Jan Beulich8b5a10f2009-08-19 08:40:48 +0100524static void *__init_or_module text_poke_early(void *addr, const void *opcode,
525 size_t len)
Andi Kleen19d36cc2007-07-22 11:12:31 +0200526{
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500527 unsigned long flags;
528 local_irq_save(flags);
Andi Kleen19d36cc2007-07-22 11:12:31 +0200529 memcpy(addr, opcode, len);
530 sync_core();
Ben Hutchings5367b682009-09-10 02:53:50 +0100531 local_irq_restore(flags);
Andi Kleena534b672007-09-06 16:59:52 +0200532 /* Could also do a CLFLUSH here to speed up CPU recovery; but
533 that causes hangs on some VIA CPUs. */
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500534 return addr;
535}
536
537/**
538 * text_poke - Update instructions on a live kernel
539 * @addr: address to modify
540 * @opcode: source of the copy
541 * @len: length to copy
542 *
543 * Only atomic text poke/set should be allowed when not doing early patching.
544 * It means the size must be writable atomically and the address must be aligned
545 * in a way that permits an atomic write. It also makes sure we fit on a single
546 * page.
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -0500547 *
548 * Note: Must be called under text_mutex.
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500549 */
550void *__kprobes text_poke(void *addr, const void *opcode, size_t len)
551{
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -0500552 unsigned long flags;
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500553 char *vaddr;
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400554 struct page *pages[2];
555 int i;
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500556
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400557 if (!core_kernel_text((unsigned long)addr)) {
558 pages[0] = vmalloc_to_page(addr);
559 pages[1] = vmalloc_to_page(addr + PAGE_SIZE);
Mathieu Desnoyers15a601e2008-03-12 11:54:16 -0400560 } else {
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400561 pages[0] = virt_to_page(addr);
Ingo Molnar00c6b2d2008-04-25 17:07:03 +0200562 WARN_ON(!PageReserved(pages[0]));
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400563 pages[1] = virt_to_page(addr + PAGE_SIZE);
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500564 }
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400565 BUG_ON(!pages[0]);
Masami Hiramatsu7cf49422009-03-09 12:40:40 -0400566 local_irq_save(flags);
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -0500567 set_fixmap(FIX_TEXT_POKE0, page_to_phys(pages[0]));
568 if (pages[1])
569 set_fixmap(FIX_TEXT_POKE1, page_to_phys(pages[1]));
570 vaddr = (char *)fix_to_virt(FIX_TEXT_POKE0);
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400571 memcpy(&vaddr[(unsigned long)addr & ~PAGE_MASK], opcode, len);
Masami Hiramatsu78ff7fa2009-03-06 10:37:54 -0500572 clear_fixmap(FIX_TEXT_POKE0);
573 if (pages[1])
574 clear_fixmap(FIX_TEXT_POKE1);
575 local_flush_tlb();
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500576 sync_core();
577 /* Could also do a CLFLUSH here to speed up CPU recovery; but
578 that causes hangs on some VIA CPUs. */
Mathieu Desnoyersb7b66ba2008-04-24 11:03:33 -0400579 for (i = 0; i < len; i++)
580 BUG_ON(((char *)addr)[i] != ((char *)opcode)[i]);
Masami Hiramatsu7cf49422009-03-09 12:40:40 -0400581 local_irq_restore(flags);
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500582 return addr;
Andi Kleen19d36cc2007-07-22 11:12:31 +0200583}
Masami Hiramatsu3d55cc82010-02-25 08:34:38 -0500584
585/*
586 * Cross-modifying kernel text with stop_machine().
587 * This code originally comes from immediate value.
588 */
589static atomic_t stop_machine_first;
590static int wrote_text;
591
592struct text_poke_params {
593 void *addr;
594 const void *opcode;
595 size_t len;
596};
597
598static int __kprobes stop_machine_text_poke(void *data)
599{
600 struct text_poke_params *tpp = data;
601
602 if (atomic_dec_and_test(&stop_machine_first)) {
603 text_poke(tpp->addr, tpp->opcode, tpp->len);
604 smp_wmb(); /* Make sure other cpus see that this has run */
605 wrote_text = 1;
606 } else {
607 while (!wrote_text)
Masami Hiramatsue5a11012010-03-03 22:38:50 -0500608 cpu_relax();
609 smp_mb(); /* Load wrote_text before following execution */
Masami Hiramatsu3d55cc82010-02-25 08:34:38 -0500610 }
611
612 flush_icache_range((unsigned long)tpp->addr,
613 (unsigned long)tpp->addr + tpp->len);
614 return 0;
615}
616
617/**
618 * text_poke_smp - Update instructions on a live kernel on SMP
619 * @addr: address to modify
620 * @opcode: source of the copy
621 * @len: length to copy
622 *
623 * Modify multi-byte instruction by using stop_machine() on SMP. This allows
624 * user to poke/set multi-byte text on SMP. Only non-NMI/MCE code modifying
625 * should be allowed, since stop_machine() does _not_ protect code against
626 * NMI and MCE.
627 *
628 * Note: Must be called under get_online_cpus() and text_mutex.
629 */
630void *__kprobes text_poke_smp(void *addr, const void *opcode, size_t len)
631{
632 struct text_poke_params tpp;
633
634 tpp.addr = addr;
635 tpp.opcode = opcode;
636 tpp.len = len;
637 atomic_set(&stop_machine_first, 1);
638 wrote_text = 0;
639 stop_machine(stop_machine_text_poke, (void *)&tpp, NULL);
640 return addr;
641}
642