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 19*fa5e5dc3SPeter Zijlstra #define JUMP_LABEL_NOP_SIZE JMP32_INSN_SIZE 20*fa5e5dc3SPeter Zijlstra 21*fa5e5dc3SPeter Zijlstra int arch_jump_entry_size(struct jump_entry *entry) 22*fa5e5dc3SPeter Zijlstra { 23*fa5e5dc3SPeter Zijlstra return JMP32_INSN_SIZE; 24*fa5e5dc3SPeter Zijlstra } 25*fa5e5dc3SPeter Zijlstra 2618cbc8beSPeter Zijlstra static const void * 27a89dfde3SPeter Zijlstra __jump_label_set_jump_code(struct jump_entry *entry, enum jump_label_type type) 28d9f5ab7bSJason Baron { 2963f62addSPeter Zijlstra const void *expect, *code; 3063f62addSPeter Zijlstra const void *addr, *dest; 319fc0f798SArd Biesheuvel 3263f62addSPeter Zijlstra addr = (void *)jump_entry_code(entry); 3363f62addSPeter Zijlstra dest = (void *)jump_entry_target(entry); 3418cbc8beSPeter Zijlstra 3563f62addSPeter Zijlstra code = text_gen_insn(JMP32_INSN_OPCODE, addr, dest); 36d9f5ab7bSJason Baron 37f9510fa9SPeter Zijlstra if (type == JUMP_LABEL_JMP) 38f9510fa9SPeter Zijlstra expect = x86_nops[5]; 39f9510fa9SPeter Zijlstra else 40f9510fa9SPeter Zijlstra expect = code; 41e71a5be1SJeremy Fitzhardinge 42f9510fa9SPeter Zijlstra if (memcmp(addr, expect, JUMP_LABEL_NOP_SIZE)) { 43f9510fa9SPeter Zijlstra /* 44f9510fa9SPeter Zijlstra * The location is not an op that we were expecting. 45f9510fa9SPeter Zijlstra * Something went wrong. Crash the box, as something could be 46f9510fa9SPeter Zijlstra * corrupting the kernel. 47f9510fa9SPeter Zijlstra */ 48f9510fa9SPeter Zijlstra pr_crit("jump_label: Fatal kernel bug, unexpected op at %pS [%p] (%5ph != %5ph)) type:%d\n", 49f9510fa9SPeter Zijlstra addr, addr, addr, expect, type); 50f9510fa9SPeter Zijlstra BUG(); 51f9510fa9SPeter Zijlstra } 529fc0f798SArd Biesheuvel 534cc6620bSDaniel Bristot de Oliveira if (type == JUMP_LABEL_NOP) 54a89dfde3SPeter Zijlstra code = x86_nops[5]; 5518cbc8beSPeter Zijlstra 5663f62addSPeter Zijlstra return code; 574cc6620bSDaniel Bristot de Oliveira } 584cc6620bSDaniel Bristot de Oliveira 594de4952cSRandy Dunlap static inline void __jump_label_transform(struct jump_entry *entry, 604cc6620bSDaniel Bristot de Oliveira enum jump_label_type type, 614cc6620bSDaniel Bristot de Oliveira int init) 624cc6620bSDaniel Bristot de Oliveira { 63a89dfde3SPeter Zijlstra const void *opcode = __jump_label_set_jump_code(entry, type); 644cc6620bSDaniel Bristot de Oliveira 6551b2c07bSJiri Kosina /* 66bb0a008dSNadav Amit * As long as only a single processor is running and the code is still 67bb0a008dSNadav Amit * not marked as RO, text_poke_early() can be used; Checking that 68bb0a008dSNadav Amit * system_state is SYSTEM_BOOTING guarantees it. It will be set to 69bb0a008dSNadav Amit * SYSTEM_SCHEDULING before other cores are awaken and before the 70bb0a008dSNadav Amit * code is write-protected. 7151b2c07bSJiri Kosina * 7251b2c07bSJiri Kosina * At the time the change is being done, just ignore whether we 7351b2c07bSJiri Kosina * are doing nop -> jump or jump -> nop transition, and assume 7451b2c07bSJiri Kosina * always nop being the 'currently valid' instruction 7551b2c07bSJiri Kosina */ 76bb0a008dSNadav Amit if (init || system_state == SYSTEM_BOOTING) { 7718cbc8beSPeter Zijlstra text_poke_early((void *)jump_entry_code(entry), opcode, 789fc0f798SArd Biesheuvel JUMP_LABEL_NOP_SIZE); 799fc0f798SArd Biesheuvel return; 809fc0f798SArd Biesheuvel } 819fc0f798SArd Biesheuvel 8218cbc8beSPeter Zijlstra text_poke_bp((void *)jump_entry_code(entry), opcode, JUMP_LABEL_NOP_SIZE, NULL); 8318cbc8beSPeter Zijlstra } 8418cbc8beSPeter Zijlstra 8518cbc8beSPeter Zijlstra static void __ref jump_label_transform(struct jump_entry *entry, 8618cbc8beSPeter Zijlstra enum jump_label_type type, 8718cbc8beSPeter Zijlstra int init) 8818cbc8beSPeter Zijlstra { 8918cbc8beSPeter Zijlstra mutex_lock(&text_mutex); 9018cbc8beSPeter Zijlstra __jump_label_transform(entry, type, init); 9118cbc8beSPeter Zijlstra mutex_unlock(&text_mutex); 92e71a5be1SJeremy Fitzhardinge } 93e71a5be1SJeremy Fitzhardinge 94e71a5be1SJeremy Fitzhardinge void arch_jump_label_transform(struct jump_entry *entry, 95e71a5be1SJeremy Fitzhardinge enum jump_label_type type) 96e71a5be1SJeremy Fitzhardinge { 9718cbc8beSPeter Zijlstra jump_label_transform(entry, type, 0); 98d9f5ab7bSJason Baron } 99d9f5ab7bSJason Baron 100ba54f0c3SDaniel Bristot de Oliveira bool arch_jump_label_transform_queue(struct jump_entry *entry, 101ba54f0c3SDaniel Bristot de Oliveira enum jump_label_type type) 102ba54f0c3SDaniel Bristot de Oliveira { 10318cbc8beSPeter Zijlstra const void *opcode; 104ba54f0c3SDaniel Bristot de Oliveira 105ba54f0c3SDaniel Bristot de Oliveira if (system_state == SYSTEM_BOOTING) { 106ba54f0c3SDaniel Bristot de Oliveira /* 107ba54f0c3SDaniel Bristot de Oliveira * Fallback to the non-batching mode. 108ba54f0c3SDaniel Bristot de Oliveira */ 109ba54f0c3SDaniel Bristot de Oliveira arch_jump_label_transform(entry, type); 110ba54f0c3SDaniel Bristot de Oliveira return true; 111ba54f0c3SDaniel Bristot de Oliveira } 112ba54f0c3SDaniel Bristot de Oliveira 11318cbc8beSPeter Zijlstra mutex_lock(&text_mutex); 114a89dfde3SPeter Zijlstra opcode = __jump_label_set_jump_code(entry, type); 11518cbc8beSPeter Zijlstra text_poke_queue((void *)jump_entry_code(entry), 11618cbc8beSPeter Zijlstra opcode, JUMP_LABEL_NOP_SIZE, NULL); 11718cbc8beSPeter Zijlstra mutex_unlock(&text_mutex); 118ba54f0c3SDaniel Bristot de Oliveira return true; 119ba54f0c3SDaniel Bristot de Oliveira } 120ba54f0c3SDaniel Bristot de Oliveira 121ba54f0c3SDaniel Bristot de Oliveira void arch_jump_label_transform_apply(void) 122ba54f0c3SDaniel Bristot de Oliveira { 123ba54f0c3SDaniel Bristot de Oliveira mutex_lock(&text_mutex); 12418cbc8beSPeter Zijlstra text_poke_finish(); 125ba54f0c3SDaniel Bristot de Oliveira mutex_unlock(&text_mutex); 126ba54f0c3SDaniel Bristot de Oliveira } 127ba54f0c3SDaniel Bristot de Oliveira 12811570da1SSteven Rostedt static enum { 12911570da1SSteven Rostedt JL_STATE_START, 13011570da1SSteven Rostedt JL_STATE_NO_UPDATE, 13111570da1SSteven Rostedt JL_STATE_UPDATE, 13211570da1SSteven Rostedt } jlstate __initdata_or_module = JL_STATE_START; 13311570da1SSteven Rostedt 1349cdbe1cbSPeter Zijlstra __init_or_module void arch_jump_label_transform_static(struct jump_entry *entry, 135e71a5be1SJeremy Fitzhardinge enum jump_label_type type) 136e71a5be1SJeremy Fitzhardinge { 13711570da1SSteven Rostedt if (jlstate == JL_STATE_UPDATE) 13818cbc8beSPeter Zijlstra jump_label_transform(entry, type, 1); 139e71a5be1SJeremy Fitzhardinge } 140