Borislav Petkov 2b357b
From: Peter Zijlstra <peterz@infradead.org>
Borislav Petkov 2b357b
Date: Tue, 14 Jun 2022 23:15:41 +0200
Borislav Petkov 2b357b
Subject: x86/bpf: Use alternative RET encoding
Borislav Petkov 2b357b
Git-commit: d77cfe594ad50e0bf95d457e02ccd578791b2a15
Borislav Petkov 43fbd8
Patch-mainline: v5.19-rc4
Borislav Petkov 2b357b
References: bsc#1199657 CVE-2022-29900 CVE-2022-29901
Borislav Petkov 2b357b
Borislav Petkov 2b357b
Use the return thunk in eBPF generated code, if needed.
Borislav Petkov 2b357b
Borislav Petkov 2b357b
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Borislav Petkov 2b357b
Signed-off-by: Borislav Petkov <bp@suse.de>
Borislav Petkov 2b357b
Reviewed-by: Josh Poimboeuf <jpoimboe@kernel.org>
Borislav Petkov 2b357b
Signed-off-by: Borislav Petkov <bp@suse.de>
Borislav Petkov 2b357b
---
Borislav Petkov 2b357b
 arch/x86/net/bpf_jit_comp.c |   20 ++++++++++++++++++--
Borislav Petkov 2b357b
 1 file changed, 18 insertions(+), 2 deletions(-)
Borislav Petkov 2b357b
Borislav Petkov 2b357b
--- a/arch/x86/net/bpf_jit_comp.c
Borislav Petkov 2b357b
+++ b/arch/x86/net/bpf_jit_comp.c
Borislav Petkov 2b357b
@@ -322,6 +322,22 @@ int bpf_arch_text_poke(void *ip, enum bp
Borislav Petkov 2b357b
 	return __bpf_arch_text_poke(ip, t, old_addr, new_addr, true);
Borislav Petkov 2b357b
 }
Borislav Petkov 2b357b
 
Borislav Petkov 2b357b
+static void emit_return(u8 **pprog, u8 *ip)
Borislav Petkov 2b357b
+{
Borislav Petkov 2b357b
+	u8 *prog = *pprog;
Borislav Petkov 2b357b
+	int cnt = 0;
Borislav Petkov 2b357b
+
Borislav Petkov 2b357b
+	if (cpu_feature_enabled(X86_FEATURE_RETHUNK)) {
Borislav Petkov 2b357b
+		emit_jump(&prog, &__x86_return_thunk, ip);
Borislav Petkov 2b357b
+	} else {
Borislav Petkov 2b357b
+		EMIT1(0xC3);		/* ret */
Borislav Petkov 2b357b
+		if (IS_ENABLED(CONFIG_SLS))
Borislav Petkov 2b357b
+			EMIT1(0xCC);	/* int3 */
Borislav Petkov 2b357b
+	}
Borislav Petkov 2b357b
+
Borislav Petkov 2b357b
+	*pprog = prog;
Borislav Petkov 2b357b
+}
Borislav Petkov 2b357b
+
Borislav Petkov 2b357b
 /*
Borislav Petkov 2b357b
  * Generate the following code:
Borislav Petkov 2b357b
  *
Borislav Petkov 2b357b
@@ -1380,7 +1396,7 @@ emit_jmp:
Borislav Petkov 2b357b
 			EMIT2(0x41, 0x5D);   /* pop r13 */
Borislav Petkov 2b357b
 			EMIT1(0x5B);         /* pop rbx */
Borislav Petkov 2b357b
 			EMIT1(0xC9);         /* leave */
Borislav Petkov 2b357b
-			EMIT1(0xC3);         /* ret */
Borislav Petkov 2b357b
+			emit_return(&prog, image + addrs[i - 1] + (prog - temp));
Borislav Petkov 2b357b
 			break;
Borislav Petkov 2b357b
 
Borislav Petkov 2b357b
 		default:
Borislav Petkov 2b357b
@@ -1622,7 +1638,7 @@ int arch_prepare_bpf_trampoline(void *im
Borislav Petkov 2b357b
 	if (flags & BPF_TRAMP_F_SKIP_FRAME)
Borislav Petkov 2b357b
 		/* skip our return address and return to parent */
Borislav Petkov 2b357b
 		EMIT4(0x48, 0x83, 0xC4, 8); /* add rsp, 8 */
Borislav Petkov 2b357b
-	EMIT1(0xC3); /* ret */
Borislav Petkov 2b357b
+	emit_return(&prog, prog);
Borislav Petkov 2b357b
 	/* One half of the page has active running trampoline.
Borislav Petkov 2b357b
 	 * Another half is an area for next trampoline.
Borislav Petkov 2b357b
 	 * Make sure the trampoline generation logic doesn't overflow.