nospec-branch.c 4.7 KB
Newer Older
1 2
// SPDX-License-Identifier: GPL-2.0
#include <linux/module.h>
3
#include <linux/device.h>
4
#include <linux/cpu.h>
5 6
#include <asm/nospec-branch.h>

7 8 9 10 11 12 13 14
static int __init nobp_setup_early(char *str)
{
	bool enabled;
	int rc;

	rc = kstrtobool(str, &enabled);
	if (rc)
		return rc;
15 16 17 18 19
	if (enabled && test_facility(82)) {
		/*
		 * The user explicitely requested nobp=1, enable it and
		 * disable the expoline support.
		 */
20
		__set_facility(82, S390_lowcore.alt_stfle_fac_list);
21 22 23
		if (IS_ENABLED(CONFIG_EXPOLINE))
			nospec_disable = 1;
	} else {
24
		__clear_facility(82, S390_lowcore.alt_stfle_fac_list);
25
	}
26 27 28 29 30 31 32 33 34 35 36
	return 0;
}
early_param("nobp", nobp_setup_early);

static int __init nospec_setup_early(char *str)
{
	__clear_facility(82, S390_lowcore.alt_stfle_fac_list);
	return 0;
}
early_param("nospec", nospec_setup_early);

37 38
static int __init nospec_report(void)
{
39 40
	if (test_facility(156))
		pr_info("Spectre V2 mitigation: etokens\n");
41
	if (IS_ENABLED(CC_USING_EXPOLINE) && !nospec_disable)
42
		pr_info("Spectre V2 mitigation: execute trampolines\n");
43
	if (__test_facility(82, S390_lowcore.alt_stfle_fac_list))
44
		pr_info("Spectre V2 mitigation: limited branch prediction\n");
45 46 47 48
	return 0;
}
arch_initcall(nospec_report);

49 50
#ifdef CONFIG_EXPOLINE

51
int nospec_disable = IS_ENABLED(CONFIG_EXPOLINE_OFF);
52 53 54

static int __init nospectre_v2_setup_early(char *str)
{
55
	nospec_disable = 1;
56 57 58 59
	return 0;
}
early_param("nospectre_v2", nospectre_v2_setup_early);

60
void __init nospec_auto_detect(void)
61
{
62
	if (test_facility(156) || cpu_mitigations_off()) {
63 64 65 66 67 68 69 70
		/*
		 * The machine supports etokens.
		 * Disable expolines and disable nobp.
		 */
		if (IS_ENABLED(CC_USING_EXPOLINE))
			nospec_disable = 1;
		__clear_facility(82, S390_lowcore.alt_stfle_fac_list);
	} else if (IS_ENABLED(CC_USING_EXPOLINE)) {
71 72 73 74 75 76 77 78 79 80 81 82 83 84
		/*
		 * The kernel has been compiled with expolines.
		 * Keep expolines enabled and disable nobp.
		 */
		nospec_disable = 0;
		__clear_facility(82, S390_lowcore.alt_stfle_fac_list);
	}
	/*
	 * If the kernel has not been compiled with expolines the
	 * nobp setting decides what is done, this depends on the
	 * CONFIG_KERNEL_NP option and the nobp/nospec parameters.
	 */
}

85 86 87
static int __init spectre_v2_setup_early(char *str)
{
	if (str && !strncmp(str, "on", 2)) {
88 89
		nospec_disable = 0;
		__clear_facility(82, S390_lowcore.alt_stfle_fac_list);
90
	}
91 92 93
	if (str && !strncmp(str, "off", 3))
		nospec_disable = 1;
	if (str && !strncmp(str, "auto", 4))
94
		nospec_auto_detect();
95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126
	return 0;
}
early_param("spectre_v2", spectre_v2_setup_early);

static void __init_or_module __nospec_revert(s32 *start, s32 *end)
{
	enum { BRCL_EXPOLINE, BRASL_EXPOLINE } type;
	u8 *instr, *thunk, *br;
	u8 insnbuf[6];
	s32 *epo;

	/* Second part of the instruction replace is always a nop */
	for (epo = start; epo < end; epo++) {
		instr = (u8 *) epo + *epo;
		if (instr[0] == 0xc0 && (instr[1] & 0x0f) == 0x04)
			type = BRCL_EXPOLINE;	/* brcl instruction */
		else if (instr[0] == 0xc0 && (instr[1] & 0x0f) == 0x05)
			type = BRASL_EXPOLINE;	/* brasl instruction */
		else
			continue;
		thunk = instr + (*(int *)(instr + 2)) * 2;
		if (thunk[0] == 0xc6 && thunk[1] == 0x00)
			/* exrl %r0,<target-br> */
			br = thunk + (*(int *)(thunk + 2)) * 2;
		else if (thunk[0] == 0xc0 && (thunk[1] & 0x0f) == 0x00 &&
			 thunk[6] == 0x44 && thunk[7] == 0x00 &&
			 (thunk[8] & 0x0f) == 0x00 && thunk[9] == 0x00 &&
			 (thunk[1] & 0xf0) == (thunk[8] & 0xf0))
			/* larl %rx,<target br> + ex %r0,0(%rx) */
			br = thunk + (*(int *)(thunk + 2)) * 2;
		else
			continue;
127 128
		/* Check for unconditional branch 0x07f? or 0x47f???? */
		if ((br[0] & 0xbf) != 0x07 || (br[1] & 0xf0) != 0xf0)
129
			continue;
130 131

		memcpy(insnbuf + 2, (char[]) { 0x47, 0x00, 0x07, 0x00 }, 4);
132 133 134 135
		switch (type) {
		case BRCL_EXPOLINE:
			insnbuf[0] = br[0];
			insnbuf[1] = (instr[1] & 0xf0) | (br[1] & 0x0f);
136 137 138 139 140 141 142
			if (br[0] == 0x47) {
				/* brcl to b, replace with bc + nopr */
				insnbuf[2] = br[2];
				insnbuf[3] = br[3];
			} else {
				/* brcl to br, replace with bcr + nop */
			}
143 144 145
			break;
		case BRASL_EXPOLINE:
			insnbuf[1] = (instr[1] & 0xf0) | (br[1] & 0x0f);
146 147 148 149 150 151 152 153 154
			if (br[0] == 0x47) {
				/* brasl to b, replace with bas + nopr */
				insnbuf[0] = 0x4d;
				insnbuf[2] = br[2];
				insnbuf[3] = br[3];
			} else {
				/* brasl to br, replace with basr + nop */
				insnbuf[0] = 0x0d;
			}
155 156 157 158 159 160 161
			break;
		}

		s390_kernel_write(instr, insnbuf, 6);
	}
}

162
void __init_or_module nospec_revert(s32 *start, s32 *end)
163
{
164
	if (nospec_disable)
165 166 167 168 169 170 171
		__nospec_revert(start, end);
}

extern s32 __nospec_call_start[], __nospec_call_end[];
extern s32 __nospec_return_start[], __nospec_return_end[];
void __init nospec_init_branches(void)
{
172 173
	nospec_revert(__nospec_call_start, __nospec_call_end);
	nospec_revert(__nospec_return_start, __nospec_return_end);
174
}
175 176

#endif /* CONFIG_EXPOLINE */