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