blob: 70780689599acf830b322be2cad0f835ac2bac03 [file] [log] [blame]
H. Peter Anvin1965aae2008-10-22 22:26:29 -07001#ifndef _ASM_X86_ALTERNATIVE_H
2#define _ASM_X86_ALTERNATIVE_H
H. Peter Anvin6b592572008-01-30 13:30:30 +01003
4#include <linux/types.h>
5#include <linux/stddef.h>
Mathieu Desnoyersedc953f2009-04-28 11:13:46 -04006#include <linux/stringify.h>
H. Peter Anvin6b592572008-01-30 13:30:30 +01007#include <asm/asm.h>
8
9/*
10 * Alternative inline assembly for SMP.
11 *
12 * The LOCK_PREFIX macro defined here replaces the LOCK and
13 * LOCK_PREFIX macros used everywhere in the source tree.
14 *
15 * SMP alternatives use the same data structures as the other
16 * alternatives and the X86_FEATURE_UP flag to indicate the case of a
17 * UP system running a SMP kernel. The existing apply_alternatives()
18 * works fine for patching a SMP kernel for UP.
19 *
20 * The SMP alternative tables can be kept after boot and contain both
21 * UP and SMP versions of the instructions to allow switching back to
22 * SMP at runtime, when hotplugging in a new CPU, which is especially
23 * useful in virtualized environments.
24 *
25 * The very common lock prefix is handled as special case in a
26 * separate table which is a pure address list without replacement ptr
27 * and size information. That keeps the table sizes small.
28 */
29
30#ifdef CONFIG_SMP
Luca Barbierib3ac8912010-02-24 10:54:22 +010031#define LOCK_PREFIX_HERE \
H. Peter Anvin6b592572008-01-30 13:30:30 +010032 ".section .smp_locks,\"a\"\n" \
Jan Beulich5967ed82010-04-21 16:08:14 +010033 ".balign 4\n" \
H. Peter Anvind9c58412010-04-29 16:53:17 -070034 ".long 671f - .\n" /* offset */ \
H. Peter Anvin6b592572008-01-30 13:30:30 +010035 ".previous\n" \
Luca Barbierib3ac8912010-02-24 10:54:22 +010036 "671:"
37
38#define LOCK_PREFIX LOCK_PREFIX_HERE "\n\tlock; "
H. Peter Anvin6b592572008-01-30 13:30:30 +010039
40#else /* ! CONFIG_SMP */
H. Peter Anvinb701a472010-04-29 16:03:57 -070041#define LOCK_PREFIX_HERE ""
H. Peter Anvin6b592572008-01-30 13:30:30 +010042#define LOCK_PREFIX ""
Thomas Gleixner96a388d2007-10-11 11:20:03 +020043#endif
H. Peter Anvin6b592572008-01-30 13:30:30 +010044
H. Peter Anvin6b592572008-01-30 13:30:30 +010045struct alt_instr {
Andy Lutomirski59e97e42011-07-13 09:24:10 -040046 s32 instr_offset; /* original instruction */
47 s32 repl_offset; /* offset to replacement instruction */
H. Peter Anvin83a7a2a2010-06-10 00:10:43 +000048 u16 cpuid; /* cpuid bit set for replacement */
H. Peter Anvin6b592572008-01-30 13:30:30 +010049 u8 instrlen; /* length of original instruction */
50 u8 replacementlen; /* length of new instruction, <= instrlen */
H. Peter Anvin6b592572008-01-30 13:30:30 +010051};
52
53extern void alternative_instructions(void);
54extern void apply_alternatives(struct alt_instr *start, struct alt_instr *end);
55
56struct module;
57
58#ifdef CONFIG_SMP
59extern void alternatives_smp_module_add(struct module *mod, char *name,
60 void *locks, void *locks_end,
61 void *text, void *text_end);
62extern void alternatives_smp_module_del(struct module *mod);
63extern void alternatives_smp_switch(int smp);
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -050064extern int alternatives_text_reserved(void *start, void *end);
Suresh Siddha3fb82d52010-11-23 16:11:40 -080065extern bool skip_smp_alternatives;
H. Peter Anvin6b592572008-01-30 13:30:30 +010066#else
67static inline void alternatives_smp_module_add(struct module *mod, char *name,
Joe Perches2ac1ea72008-03-23 01:01:37 -070068 void *locks, void *locks_end,
69 void *text, void *text_end) {}
H. Peter Anvin6b592572008-01-30 13:30:30 +010070static inline void alternatives_smp_module_del(struct module *mod) {}
71static inline void alternatives_smp_switch(int smp) {}
Masami Hiramatsu2cfa1972010-02-02 16:49:11 -050072static inline int alternatives_text_reserved(void *start, void *end)
73{
74 return 0;
75}
H. Peter Anvin6b592572008-01-30 13:30:30 +010076#endif /* CONFIG_SMP */
77
Fenghua Yu954e4822012-05-24 18:19:45 -070078#define OLDINSTR(oldinstr) "661:\n\t" oldinstr "\n662:\n"
79
80#define b_replacement(number) "663"#number
81#define e_replacement(number) "664"#number
82
83#define alt_slen "662b-661b"
84#define alt_rlen(number) e_replacement(number)"f-"b_replacement(number)"f"
85
86#define ALTINSTR_ENTRY(feature, number) \
87 " .long 661b - .\n" /* label */ \
88 " .long " b_replacement(number)"f - .\n" /* new instruction */ \
89 " .word " __stringify(feature) "\n" /* feature bit */ \
90 " .byte " alt_slen "\n" /* source len */ \
91 " .byte " alt_rlen(number) "\n" /* replacement len */
92
93#define DISCARD_ENTRY(number) /* rlen <= slen */ \
94 " .byte 0xff + (" alt_rlen(number) ") - (" alt_slen ")\n"
95
96#define ALTINSTR_REPLACEMENT(newinstr, feature, number) /* replacement */ \
97 b_replacement(number)":\n\t" newinstr "\n" e_replacement(number) ":\n\t"
98
Mathieu Desnoyersedc953f2009-04-28 11:13:46 -040099/* alternative assembly primitive: */
100#define ALTERNATIVE(oldinstr, newinstr, feature) \
Fenghua Yu954e4822012-05-24 18:19:45 -0700101 OLDINSTR(oldinstr) \
102 ".section .altinstructions,\"a\"\n" \
103 ALTINSTR_ENTRY(feature, 1) \
104 ".previous\n" \
105 ".section .discard,\"aw\",@progbits\n" \
106 DISCARD_ENTRY(1) \
107 ".previous\n" \
108 ".section .altinstr_replacement, \"ax\"\n" \
109 ALTINSTR_REPLACEMENT(newinstr, feature, 1) \
110 ".previous"
111
112#define ALTERNATIVE_2(oldinstr, newinstr1, feature1, newinstr2, feature2)\
113 OLDINSTR(oldinstr) \
114 ".section .altinstructions,\"a\"\n" \
115 ALTINSTR_ENTRY(feature1, 1) \
116 ALTINSTR_ENTRY(feature2, 2) \
117 ".previous\n" \
118 ".section .discard,\"aw\",@progbits\n" \
119 DISCARD_ENTRY(1) \
120 DISCARD_ENTRY(2) \
121 ".previous\n" \
122 ".section .altinstr_replacement, \"ax\"\n" \
123 ALTINSTR_REPLACEMENT(newinstr1, feature1, 1) \
124 ALTINSTR_REPLACEMENT(newinstr2, feature2, 2) \
125 ".previous"
Mathieu Desnoyersedc953f2009-04-28 11:13:46 -0400126
H. Peter Anvin6b592572008-01-30 13:30:30 +0100127/*
Borislav Petkovd61931d2010-03-05 17:34:46 +0100128 * This must be included *after* the definition of ALTERNATIVE due to
129 * <asm/arch_hweight.h>
130 */
131#include <asm/cpufeature.h>
132
133/*
H. Peter Anvin6b592572008-01-30 13:30:30 +0100134 * Alternative instructions for different CPU types or capabilities.
135 *
136 * This allows to use optimized instructions even on generic binary
137 * kernels.
138 *
139 * length of oldinstr must be longer or equal the length of newinstr
140 * It can be padded with nops as needed.
141 *
142 * For non barrier like inlines please define new variants
143 * without volatile and memory clobber.
144 */
145#define alternative(oldinstr, newinstr, feature) \
Mathieu Desnoyersedc953f2009-04-28 11:13:46 -0400146 asm volatile (ALTERNATIVE(oldinstr, newinstr, feature) : : : "memory")
H. Peter Anvin6b592572008-01-30 13:30:30 +0100147
148/*
149 * Alternative inline assembly with input.
150 *
151 * Pecularities:
152 * No memory clobber here.
153 * Argument numbers start with 1.
154 * Best is to use constraints that are fixed size (like (%1) ... "r")
155 * If you use variable sized constraints like "m" or "g" in the
156 * replacement make sure to pad to the worst case length.
Mathieu Desnoyersedc953f2009-04-28 11:13:46 -0400157 * Leaving an unused argument 0 to keep API compatibility.
H. Peter Anvin6b592572008-01-30 13:30:30 +0100158 */
159#define alternative_input(oldinstr, newinstr, feature, input...) \
Mathieu Desnoyersedc953f2009-04-28 11:13:46 -0400160 asm volatile (ALTERNATIVE(oldinstr, newinstr, feature) \
161 : : "i" (0), ## input)
H. Peter Anvin6b592572008-01-30 13:30:30 +0100162
163/* Like alternative_input, but with a single output argument */
164#define alternative_io(oldinstr, newinstr, feature, output, input...) \
Mathieu Desnoyersedc953f2009-04-28 11:13:46 -0400165 asm volatile (ALTERNATIVE(oldinstr, newinstr, feature) \
166 : output : "i" (0), ## input)
H. Peter Anvin6b592572008-01-30 13:30:30 +0100167
Jan Beulich1b1d9252009-12-18 16:12:56 +0000168/* Like alternative_io, but for replacing a direct call with another one. */
169#define alternative_call(oldfunc, newfunc, feature, output, input...) \
170 asm volatile (ALTERNATIVE("call %P[old]", "call %P[new]", feature) \
171 : output : [old] "i" (oldfunc), [new] "i" (newfunc), ## input)
172
H. Peter Anvin6b592572008-01-30 13:30:30 +0100173/*
Fenghua Yu954e4822012-05-24 18:19:45 -0700174 * Like alternative_call, but there are two features and respective functions.
175 * If CPU has feature2, function2 is used.
176 * Otherwise, if CPU has feature1, function1 is used.
177 * Otherwise, old function is used.
178 */
179#define alternative_call_2(oldfunc, newfunc1, feature1, newfunc2, feature2, \
180 output, input...) \
181 asm volatile (ALTERNATIVE_2("call %P[old]", "call %P[new1]", feature1,\
182 "call %P[new2]", feature2) \
183 : output : [old] "i" (oldfunc), [new1] "i" (newfunc1), \
184 [new2] "i" (newfunc2), ## input)
185
186/*
H. Peter Anvin6b592572008-01-30 13:30:30 +0100187 * use this macro(s) if you need more than one output parameter
188 * in alternative_io
189 */
Jan Beulich1b1d9252009-12-18 16:12:56 +0000190#define ASM_OUTPUT2(a...) a
H. Peter Anvin6b592572008-01-30 13:30:30 +0100191
Jan Beulich819165f2012-01-20 16:21:41 +0000192/*
193 * use this macro if you need clobbers but no inputs in
194 * alternative_{input,io,call}()
195 */
196#define ASM_NO_INPUT_CLOBBER(clbr...) "i" (0) : clbr
197
H. Peter Anvin6b592572008-01-30 13:30:30 +0100198struct paravirt_patch_site;
199#ifdef CONFIG_PARAVIRT
200void apply_paravirt(struct paravirt_patch_site *start,
201 struct paravirt_patch_site *end);
202#else
Joe Perches2ac1ea72008-03-23 01:01:37 -0700203static inline void apply_paravirt(struct paravirt_patch_site *start,
204 struct paravirt_patch_site *end)
H. Peter Anvin6b592572008-01-30 13:30:30 +0100205{}
206#define __parainstructions NULL
207#define __parainstructions_end NULL
208#endif
209
Jason Baronfa6f2cc2010-09-17 11:08:56 -0400210extern void *text_poke_early(void *addr, const void *opcode, size_t len);
211
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500212/*
213 * Clear and restore the kernel write-protection flag on the local CPU.
214 * Allows the kernel to edit read-only pages.
215 * Side-effect: any interrupt handler running between save and restore will have
216 * the ability to write to read-only pages.
217 *
218 * Warning:
219 * Code patching in the UP case is safe if NMIs and MCE handlers are stopped and
220 * no thread can be preempted in the instructions being modified (no iret to an
221 * invalid instruction possible) or if the instructions are changed from a
222 * consistent state to another consistent state atomically.
223 * More care must be taken when modifying code in the SMP case because of
Masami Hiramatsu3d55cc82010-02-25 08:34:38 -0500224 * Intel's errata. text_poke_smp() takes care that errata, but still
225 * doesn't support NMI/MCE handler code modifying.
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500226 * On the local CPU you need to be protected again NMI or MCE handlers seeing an
227 * inconsistent instruction while you patch.
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500228 */
Masami Hiramatsu7deb18d2010-12-03 18:54:22 +0900229struct text_poke_param {
230 void *addr;
231 const void *opcode;
232 size_t len;
233};
234
Mathieu Desnoyerse587cad2008-03-06 08:48:49 -0500235extern void *text_poke(void *addr, const void *opcode, size_t len);
Masami Hiramatsu3d55cc82010-02-25 08:34:38 -0500236extern void *text_poke_smp(void *addr, const void *opcode, size_t len);
Masami Hiramatsu7deb18d2010-12-03 18:54:22 +0900237extern void text_poke_smp_batch(struct text_poke_param *params, int n);
H. Peter Anvin6b592572008-01-30 13:30:30 +0100238
H. Peter Anvin1965aae2008-10-22 22:26:29 -0700239#endif /* _ASM_X86_ALTERNATIVE_H */