Commit dd8a1f13 authored by James Morse's avatar James Morse Committed by Will Deacon

arm64: ftrace: Ensure synchronisation in PLT setup for Neoverse-N1 #1542419

CPUs affected by Neoverse-N1 #1542419 may execute a stale instruction if
it was recently modified. The affected sequence requires freshly written
instructions to be executable before a branch to them is updated.

There are very few places in the kernel that modify executable text,
all but one come with sufficient synchronisation:
 * The module loader's flush_module_icache() calls flush_icache_range(),
   which does a kick_all_cpus_sync()
 * bpf_int_jit_compile() calls flush_icache_range().
 * Kprobes calls aarch64_insn_patch_text(), which does its work in
   stop_machine().
 * static keys and ftrace both patch between nops and branches to
   existing kernel code (not generated code).

The affected sequence is the interaction between ftrace and modules.
The module PLT is cleaned using __flush_icache_range() as the trampoline
shouldn't be executable until we update the branch to it.

Drop the double-underscore so that this path runs kick_all_cpus_sync()
too.
Signed-off-by: default avatarJames Morse <james.morse@arm.com>
Signed-off-by: default avatarWill Deacon <will@kernel.org>
parent f46f27a5
...@@ -121,9 +121,15 @@ int ftrace_make_call(struct dyn_ftrace *rec, unsigned long addr) ...@@ -121,9 +121,15 @@ int ftrace_make_call(struct dyn_ftrace *rec, unsigned long addr)
/* /*
* Ensure updated trampoline is visible to instruction * Ensure updated trampoline is visible to instruction
* fetch before we patch in the branch. * fetch before we patch in the branch. Although the
* architecture doesn't require an IPI in this case,
* Neoverse-N1 erratum #1542419 does require one
* if the TLB maintenance in module_enable_ro() is
* skipped due to rodata_enabled. It doesn't seem worth
* it to make it conditional given that this is
* certainly not a fast-path.
*/ */
__flush_icache_range((unsigned long)&dst[0], flush_icache_range((unsigned long)&dst[0],
(unsigned long)&dst[1]); (unsigned long)&dst[1]);
} }
addr = (unsigned long)dst; addr = (unsigned long)dst;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment