xref: /openbmc/linux/arch/x86/kernel/jump_label.c (revision 18cbc8bed0c70795d2064217c89894e28eafdf04)
1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0
2d9f5ab7bSJason Baron /*
3d9f5ab7bSJason Baron  * jump label x86 support
4d9f5ab7bSJason Baron  *
5d9f5ab7bSJason Baron  * Copyright (C) 2009 Jason Baron <jbaron@redhat.com>
6d9f5ab7bSJason Baron  *
7d9f5ab7bSJason Baron  */
8d9f5ab7bSJason Baron #include <linux/jump_label.h>
9d9f5ab7bSJason Baron #include <linux/memory.h>
10d9f5ab7bSJason Baron #include <linux/uaccess.h>
11d9f5ab7bSJason Baron #include <linux/module.h>
12d9f5ab7bSJason Baron #include <linux/list.h>
13d9f5ab7bSJason Baron #include <linux/jhash.h>
14d9f5ab7bSJason Baron #include <linux/cpu.h>
15d9f5ab7bSJason Baron #include <asm/kprobes.h>
16d9f5ab7bSJason Baron #include <asm/alternative.h>
1735de5b06SAndy Lutomirski #include <asm/text-patching.h>
18d9f5ab7bSJason Baron 
19d9f5ab7bSJason Baron union jump_code_union {
20d9f5ab7bSJason Baron 	char code[JUMP_LABEL_NOP_SIZE];
21d9f5ab7bSJason Baron 	struct {
22d9f5ab7bSJason Baron 		char jump;
23d9f5ab7bSJason Baron 		int offset;
24d9f5ab7bSJason Baron 	} __attribute__((packed));
25d9f5ab7bSJason Baron };
26d9f5ab7bSJason Baron 
27fb40d7a8SSteven Rostedt static void bug_at(unsigned char *ip, int line)
28fb40d7a8SSteven Rostedt {
29fb40d7a8SSteven Rostedt 	/*
30fb40d7a8SSteven Rostedt 	 * The location is not an op that we were expecting.
31fb40d7a8SSteven Rostedt 	 * Something went wrong. Crash the box, as something could be
32fb40d7a8SSteven Rostedt 	 * corrupting the kernel.
33fb40d7a8SSteven Rostedt 	 */
346e03f66cSAndy Shevchenko 	pr_crit("jump_label: Fatal kernel bug, unexpected op at %pS [%p] (%5ph) %d\n", ip, ip, ip, line);
35fb40d7a8SSteven Rostedt 	BUG();
36fb40d7a8SSteven Rostedt }
37fb40d7a8SSteven Rostedt 
38*18cbc8beSPeter Zijlstra static const void *
39*18cbc8beSPeter Zijlstra __jump_label_set_jump_code(struct jump_entry *entry, enum jump_label_type type, int init)
40d9f5ab7bSJason Baron {
41*18cbc8beSPeter Zijlstra 	static union jump_code_union code; /* relies on text_mutex */
42a8fab074SHannes Frederic Sowa 	const unsigned char default_nop[] = { STATIC_KEY_INIT_NOP };
439c85f3bdSSteven Rostedt 	const unsigned char *ideal_nop = ideal_nops[NOP_ATOMIC5];
444cc6620bSDaniel Bristot de Oliveira 	const void *expect;
459fc0f798SArd Biesheuvel 	int line;
469fc0f798SArd Biesheuvel 
47*18cbc8beSPeter Zijlstra 	lockdep_assert_held(&text_mutex);
48*18cbc8beSPeter Zijlstra 
49*18cbc8beSPeter Zijlstra 	code.jump = JMP32_INSN_OPCODE;
50*18cbc8beSPeter Zijlstra 	code.offset = jump_entry_target(entry) -
519fc0f798SArd Biesheuvel 		       (jump_entry_code(entry) + JUMP_LABEL_NOP_SIZE);
52d9f5ab7bSJason Baron 
53a8fab074SHannes Frederic Sowa 	if (init) {
549fc0f798SArd Biesheuvel 		expect = default_nop; line = __LINE__;
554cc6620bSDaniel Bristot de Oliveira 	} else if (type == JUMP_LABEL_JMP) {
569fc0f798SArd Biesheuvel 		expect = ideal_nop; line = __LINE__;
579c85f3bdSSteven Rostedt 	} else {
58*18cbc8beSPeter Zijlstra 		expect = code.code; line = __LINE__;
599c85f3bdSSteven Rostedt 	}
60e71a5be1SJeremy Fitzhardinge 
619fc0f798SArd Biesheuvel 	if (memcmp((void *)jump_entry_code(entry), expect, JUMP_LABEL_NOP_SIZE))
629fc0f798SArd Biesheuvel 		bug_at((void *)jump_entry_code(entry), line);
639fc0f798SArd Biesheuvel 
644cc6620bSDaniel Bristot de Oliveira 	if (type == JUMP_LABEL_NOP)
65*18cbc8beSPeter Zijlstra 		memcpy(&code, ideal_nop, JUMP_LABEL_NOP_SIZE);
66*18cbc8beSPeter Zijlstra 
67*18cbc8beSPeter Zijlstra 	return &code;
684cc6620bSDaniel Bristot de Oliveira }
694cc6620bSDaniel Bristot de Oliveira 
70*18cbc8beSPeter Zijlstra static void inline __jump_label_transform(struct jump_entry *entry,
714cc6620bSDaniel Bristot de Oliveira 					  enum jump_label_type type,
724cc6620bSDaniel Bristot de Oliveira 					  int init)
734cc6620bSDaniel Bristot de Oliveira {
74*18cbc8beSPeter Zijlstra 	const void *opcode = __jump_label_set_jump_code(entry, type, init);
754cc6620bSDaniel Bristot de Oliveira 
7651b2c07bSJiri Kosina 	/*
77bb0a008dSNadav Amit 	 * As long as only a single processor is running and the code is still
78bb0a008dSNadav Amit 	 * not marked as RO, text_poke_early() can be used; Checking that
79bb0a008dSNadav Amit 	 * system_state is SYSTEM_BOOTING guarantees it. It will be set to
80bb0a008dSNadav Amit 	 * SYSTEM_SCHEDULING before other cores are awaken and before the
81bb0a008dSNadav Amit 	 * code is write-protected.
8251b2c07bSJiri Kosina 	 *
8351b2c07bSJiri Kosina 	 * At the time the change is being done, just ignore whether we
8451b2c07bSJiri Kosina 	 * are doing nop -> jump or jump -> nop transition, and assume
8551b2c07bSJiri Kosina 	 * always nop being the 'currently valid' instruction
8651b2c07bSJiri Kosina 	 */
87bb0a008dSNadav Amit 	if (init || system_state == SYSTEM_BOOTING) {
88*18cbc8beSPeter Zijlstra 		text_poke_early((void *)jump_entry_code(entry), opcode,
899fc0f798SArd Biesheuvel 				JUMP_LABEL_NOP_SIZE);
909fc0f798SArd Biesheuvel 		return;
919fc0f798SArd Biesheuvel 	}
929fc0f798SArd Biesheuvel 
93*18cbc8beSPeter Zijlstra 	text_poke_bp((void *)jump_entry_code(entry), opcode, JUMP_LABEL_NOP_SIZE, NULL);
94*18cbc8beSPeter Zijlstra }
95*18cbc8beSPeter Zijlstra 
96*18cbc8beSPeter Zijlstra static void __ref jump_label_transform(struct jump_entry *entry,
97*18cbc8beSPeter Zijlstra 				       enum jump_label_type type,
98*18cbc8beSPeter Zijlstra 				       int init)
99*18cbc8beSPeter Zijlstra {
100*18cbc8beSPeter Zijlstra 	mutex_lock(&text_mutex);
101*18cbc8beSPeter Zijlstra 	__jump_label_transform(entry, type, init);
102*18cbc8beSPeter Zijlstra 	mutex_unlock(&text_mutex);
103e71a5be1SJeremy Fitzhardinge }
104e71a5be1SJeremy Fitzhardinge 
105e71a5be1SJeremy Fitzhardinge void arch_jump_label_transform(struct jump_entry *entry,
106e71a5be1SJeremy Fitzhardinge 			       enum jump_label_type type)
107e71a5be1SJeremy Fitzhardinge {
108*18cbc8beSPeter Zijlstra 	jump_label_transform(entry, type, 0);
109d9f5ab7bSJason Baron }
110d9f5ab7bSJason Baron 
111ba54f0c3SDaniel Bristot de Oliveira bool arch_jump_label_transform_queue(struct jump_entry *entry,
112ba54f0c3SDaniel Bristot de Oliveira 				     enum jump_label_type type)
113ba54f0c3SDaniel Bristot de Oliveira {
114*18cbc8beSPeter Zijlstra 	const void *opcode;
115ba54f0c3SDaniel Bristot de Oliveira 
116ba54f0c3SDaniel Bristot de Oliveira 	if (system_state == SYSTEM_BOOTING) {
117ba54f0c3SDaniel Bristot de Oliveira 		/*
118ba54f0c3SDaniel Bristot de Oliveira 		 * Fallback to the non-batching mode.
119ba54f0c3SDaniel Bristot de Oliveira 		 */
120ba54f0c3SDaniel Bristot de Oliveira 		arch_jump_label_transform(entry, type);
121ba54f0c3SDaniel Bristot de Oliveira 		return true;
122ba54f0c3SDaniel Bristot de Oliveira 	}
123ba54f0c3SDaniel Bristot de Oliveira 
124*18cbc8beSPeter Zijlstra 	mutex_lock(&text_mutex);
125*18cbc8beSPeter Zijlstra 	opcode = __jump_label_set_jump_code(entry, type, 0);
126*18cbc8beSPeter Zijlstra 	text_poke_queue((void *)jump_entry_code(entry),
127*18cbc8beSPeter Zijlstra 			opcode, JUMP_LABEL_NOP_SIZE, NULL);
128*18cbc8beSPeter Zijlstra 	mutex_unlock(&text_mutex);
129ba54f0c3SDaniel Bristot de Oliveira 	return true;
130ba54f0c3SDaniel Bristot de Oliveira }
131ba54f0c3SDaniel Bristot de Oliveira 
132ba54f0c3SDaniel Bristot de Oliveira void arch_jump_label_transform_apply(void)
133ba54f0c3SDaniel Bristot de Oliveira {
134ba54f0c3SDaniel Bristot de Oliveira 	mutex_lock(&text_mutex);
135*18cbc8beSPeter Zijlstra 	text_poke_finish();
136ba54f0c3SDaniel Bristot de Oliveira 	mutex_unlock(&text_mutex);
137ba54f0c3SDaniel Bristot de Oliveira }
138ba54f0c3SDaniel Bristot de Oliveira 
13911570da1SSteven Rostedt static enum {
14011570da1SSteven Rostedt 	JL_STATE_START,
14111570da1SSteven Rostedt 	JL_STATE_NO_UPDATE,
14211570da1SSteven Rostedt 	JL_STATE_UPDATE,
14311570da1SSteven Rostedt } jlstate __initdata_or_module = JL_STATE_START;
14411570da1SSteven Rostedt 
1459cdbe1cbSPeter Zijlstra __init_or_module void arch_jump_label_transform_static(struct jump_entry *entry,
146e71a5be1SJeremy Fitzhardinge 				      enum jump_label_type type)
147e71a5be1SJeremy Fitzhardinge {
14811570da1SSteven Rostedt 	/*
14911570da1SSteven Rostedt 	 * This function is called at boot up and when modules are
15011570da1SSteven Rostedt 	 * first loaded. Check if the default nop, the one that is
15111570da1SSteven Rostedt 	 * inserted at compile time, is the ideal nop. If it is, then
15211570da1SSteven Rostedt 	 * we do not need to update the nop, and we can leave it as is.
15311570da1SSteven Rostedt 	 * If it is not, then we need to update the nop to the ideal nop.
15411570da1SSteven Rostedt 	 */
15511570da1SSteven Rostedt 	if (jlstate == JL_STATE_START) {
15611570da1SSteven Rostedt 		const unsigned char default_nop[] = { STATIC_KEY_INIT_NOP };
15711570da1SSteven Rostedt 		const unsigned char *ideal_nop = ideal_nops[NOP_ATOMIC5];
15811570da1SSteven Rostedt 
15911570da1SSteven Rostedt 		if (memcmp(ideal_nop, default_nop, 5) != 0)
16011570da1SSteven Rostedt 			jlstate = JL_STATE_UPDATE;
16111570da1SSteven Rostedt 		else
16211570da1SSteven Rostedt 			jlstate = JL_STATE_NO_UPDATE;
16311570da1SSteven Rostedt 	}
16411570da1SSteven Rostedt 	if (jlstate == JL_STATE_UPDATE)
165*18cbc8beSPeter Zijlstra 		jump_label_transform(entry, type, 1);
166e71a5be1SJeremy Fitzhardinge }
167