1 // SPDX-License-Identifier: GPL-2.0+
3 * Kernel module help for s390.
6 * Copyright IBM Corp. 2002, 2003
7 * Author(s): Arnd Bergmann (arndb@de.ibm.com)
8 * Martin Schwidefsky (schwidefsky@de.ibm.com)
10 * based on i386 version
11 * Copyright (C) 2001 Rusty Russell.
13 #include <linux/module.h>
14 #include <linux/elf.h>
15 #include <linux/vmalloc.h>
17 #include <linux/string.h>
18 #include <linux/kernel.h>
19 #include <linux/kasan.h>
20 #include <linux/moduleloader.h>
21 #include <linux/bug.h>
22 #include <asm/alternative.h>
23 #include <asm/nospec-branch.h>
24 #include <asm/facility.h>
29 #define DEBUGP(fmt , ...)
32 #define PLT_ENTRY_SIZE 20
34 void *module_alloc(unsigned long size
)
38 if (PAGE_ALIGN(size
) > MODULES_LEN
)
40 p
= __vmalloc_node_range(size
, MODULE_ALIGN
, MODULES_VADDR
, MODULES_END
,
41 GFP_KERNEL
, PAGE_KERNEL_EXEC
, 0, NUMA_NO_NODE
,
42 __builtin_return_address(0));
43 if (p
&& (kasan_module_alloc(p
, size
) < 0)) {
50 void module_arch_freeing_init(struct module
*mod
)
52 if (is_livepatch_module(mod
) &&
53 mod
->state
== MODULE_STATE_LIVE
)
56 vfree(mod
->arch
.syminfo
);
57 mod
->arch
.syminfo
= NULL
;
60 static void check_rela(Elf_Rela
*rela
, struct module
*me
)
62 struct mod_arch_syminfo
*info
;
64 info
= me
->arch
.syminfo
+ ELF_R_SYM (rela
->r_info
);
65 switch (ELF_R_TYPE (rela
->r_info
)) {
66 case R_390_GOT12
: /* 12 bit GOT offset. */
67 case R_390_GOT16
: /* 16 bit GOT offset. */
68 case R_390_GOT20
: /* 20 bit GOT offset. */
69 case R_390_GOT32
: /* 32 bit GOT offset. */
70 case R_390_GOT64
: /* 64 bit GOT offset. */
71 case R_390_GOTENT
: /* 32 bit PC rel. to GOT entry shifted by 1. */
72 case R_390_GOTPLT12
: /* 12 bit offset to jump slot. */
73 case R_390_GOTPLT16
: /* 16 bit offset to jump slot. */
74 case R_390_GOTPLT20
: /* 20 bit offset to jump slot. */
75 case R_390_GOTPLT32
: /* 32 bit offset to jump slot. */
76 case R_390_GOTPLT64
: /* 64 bit offset to jump slot. */
77 case R_390_GOTPLTENT
: /* 32 bit rel. offset to jump slot >> 1. */
78 if (info
->got_offset
== -1UL) {
79 info
->got_offset
= me
->arch
.got_size
;
80 me
->arch
.got_size
+= sizeof(void*);
83 case R_390_PLT16DBL
: /* 16 bit PC rel. PLT shifted by 1. */
84 case R_390_PLT32DBL
: /* 32 bit PC rel. PLT shifted by 1. */
85 case R_390_PLT32
: /* 32 bit PC relative PLT address. */
86 case R_390_PLT64
: /* 64 bit PC relative PLT address. */
87 case R_390_PLTOFF16
: /* 16 bit offset from GOT to PLT. */
88 case R_390_PLTOFF32
: /* 32 bit offset from GOT to PLT. */
89 case R_390_PLTOFF64
: /* 16 bit offset from GOT to PLT. */
90 if (info
->plt_offset
== -1UL) {
91 info
->plt_offset
= me
->arch
.plt_size
;
92 me
->arch
.plt_size
+= PLT_ENTRY_SIZE
;
99 /* Only needed if we want to support loading of
100 modules linked with -shared. */
106 * Account for GOT and PLT relocations. We can't add sections for
107 * got and plt but we can increase the core module size.
109 int module_frob_arch_sections(Elf_Ehdr
*hdr
, Elf_Shdr
*sechdrs
,
110 char *secstrings
, struct module
*me
)
118 /* Find symbol table and string table. */
120 for (i
= 0; i
< hdr
->e_shnum
; i
++)
121 switch (sechdrs
[i
].sh_type
) {
123 symtab
= sechdrs
+ i
;
127 printk(KERN_ERR
"module %s: no symbol table\n", me
->name
);
131 /* Allocate one syminfo structure per symbol. */
132 me
->arch
.nsyms
= symtab
->sh_size
/ sizeof(Elf_Sym
);
133 me
->arch
.syminfo
= vmalloc(array_size(sizeof(struct mod_arch_syminfo
),
135 if (!me
->arch
.syminfo
)
137 symbols
= (void *) hdr
+ symtab
->sh_offset
;
138 strings
= (void *) hdr
+ sechdrs
[symtab
->sh_link
].sh_offset
;
139 for (i
= 0; i
< me
->arch
.nsyms
; i
++) {
140 if (symbols
[i
].st_shndx
== SHN_UNDEF
&&
141 strcmp(strings
+ symbols
[i
].st_name
,
142 "_GLOBAL_OFFSET_TABLE_") == 0)
143 /* "Define" it as absolute. */
144 symbols
[i
].st_shndx
= SHN_ABS
;
145 me
->arch
.syminfo
[i
].got_offset
= -1UL;
146 me
->arch
.syminfo
[i
].plt_offset
= -1UL;
147 me
->arch
.syminfo
[i
].got_initialized
= 0;
148 me
->arch
.syminfo
[i
].plt_initialized
= 0;
151 /* Search for got/plt relocations. */
152 me
->arch
.got_size
= me
->arch
.plt_size
= 0;
153 for (i
= 0; i
< hdr
->e_shnum
; i
++) {
154 if (sechdrs
[i
].sh_type
!= SHT_RELA
)
156 nrela
= sechdrs
[i
].sh_size
/ sizeof(Elf_Rela
);
157 rela
= (void *) hdr
+ sechdrs
[i
].sh_offset
;
158 for (j
= 0; j
< nrela
; j
++)
159 check_rela(rela
+ j
, me
);
162 /* Increase core size by size of got & plt and set start
163 offsets for got and plt. */
164 me
->core_layout
.size
= ALIGN(me
->core_layout
.size
, 4);
165 me
->arch
.got_offset
= me
->core_layout
.size
;
166 me
->core_layout
.size
+= me
->arch
.got_size
;
167 me
->arch
.plt_offset
= me
->core_layout
.size
;
168 if (me
->arch
.plt_size
) {
169 if (IS_ENABLED(CONFIG_EXPOLINE
) && !nospec_disable
)
170 me
->arch
.plt_size
+= PLT_ENTRY_SIZE
;
171 me
->core_layout
.size
+= me
->arch
.plt_size
;
176 static int apply_rela_bits(Elf_Addr loc
, Elf_Addr val
,
177 int sign
, int bits
, int shift
)
182 if (val
& ((1UL << shift
) - 1))
185 val
= (Elf_Addr
)(((long) val
) >> shift
);
186 min
= -(1L << (bits
- 1));
187 max
= (1L << (bits
- 1)) - 1;
188 if ((long) val
< min
|| (long) val
> max
)
192 umax
= ((1UL << (bits
- 1)) << 1) - 1;
193 if ((unsigned long) val
> umax
)
198 *(unsigned char *) loc
= val
;
200 *(unsigned short *) loc
= (val
& 0xfff) |
201 (*(unsigned short *) loc
& 0xf000);
203 *(unsigned short *) loc
= val
;
205 *(unsigned int *) loc
= (val
& 0xfff) << 16 |
206 (val
& 0xff000) >> 4 |
207 (*(unsigned int *) loc
& 0xf00000ff);
209 *(unsigned int *) loc
= val
;
211 *(unsigned long *) loc
= val
;
215 static int apply_rela(Elf_Rela
*rela
, Elf_Addr base
, Elf_Sym
*symtab
,
216 const char *strtab
, struct module
*me
)
218 struct mod_arch_syminfo
*info
;
223 /* This is where to make the change */
224 loc
= base
+ rela
->r_offset
;
225 /* This is the symbol it is referring to. Note that all
226 undefined symbols have been resolved. */
227 r_sym
= ELF_R_SYM(rela
->r_info
);
228 r_type
= ELF_R_TYPE(rela
->r_info
);
229 info
= me
->arch
.syminfo
+ r_sym
;
230 val
= symtab
[r_sym
].st_value
;
233 case R_390_NONE
: /* No relocation. */
236 case R_390_8
: /* Direct 8 bit. */
237 case R_390_12
: /* Direct 12 bit. */
238 case R_390_16
: /* Direct 16 bit. */
239 case R_390_20
: /* Direct 20 bit. */
240 case R_390_32
: /* Direct 32 bit. */
241 case R_390_64
: /* Direct 64 bit. */
242 val
+= rela
->r_addend
;
243 if (r_type
== R_390_8
)
244 rc
= apply_rela_bits(loc
, val
, 0, 8, 0);
245 else if (r_type
== R_390_12
)
246 rc
= apply_rela_bits(loc
, val
, 0, 12, 0);
247 else if (r_type
== R_390_16
)
248 rc
= apply_rela_bits(loc
, val
, 0, 16, 0);
249 else if (r_type
== R_390_20
)
250 rc
= apply_rela_bits(loc
, val
, 1, 20, 0);
251 else if (r_type
== R_390_32
)
252 rc
= apply_rela_bits(loc
, val
, 0, 32, 0);
253 else if (r_type
== R_390_64
)
254 rc
= apply_rela_bits(loc
, val
, 0, 64, 0);
256 case R_390_PC16
: /* PC relative 16 bit. */
257 case R_390_PC16DBL
: /* PC relative 16 bit shifted by 1. */
258 case R_390_PC32DBL
: /* PC relative 32 bit shifted by 1. */
259 case R_390_PC32
: /* PC relative 32 bit. */
260 case R_390_PC64
: /* PC relative 64 bit. */
261 val
+= rela
->r_addend
- loc
;
262 if (r_type
== R_390_PC16
)
263 rc
= apply_rela_bits(loc
, val
, 1, 16, 0);
264 else if (r_type
== R_390_PC16DBL
)
265 rc
= apply_rela_bits(loc
, val
, 1, 16, 1);
266 else if (r_type
== R_390_PC32DBL
)
267 rc
= apply_rela_bits(loc
, val
, 1, 32, 1);
268 else if (r_type
== R_390_PC32
)
269 rc
= apply_rela_bits(loc
, val
, 1, 32, 0);
270 else if (r_type
== R_390_PC64
)
271 rc
= apply_rela_bits(loc
, val
, 1, 64, 0);
273 case R_390_GOT12
: /* 12 bit GOT offset. */
274 case R_390_GOT16
: /* 16 bit GOT offset. */
275 case R_390_GOT20
: /* 20 bit GOT offset. */
276 case R_390_GOT32
: /* 32 bit GOT offset. */
277 case R_390_GOT64
: /* 64 bit GOT offset. */
278 case R_390_GOTENT
: /* 32 bit PC rel. to GOT entry shifted by 1. */
279 case R_390_GOTPLT12
: /* 12 bit offset to jump slot. */
280 case R_390_GOTPLT20
: /* 20 bit offset to jump slot. */
281 case R_390_GOTPLT16
: /* 16 bit offset to jump slot. */
282 case R_390_GOTPLT32
: /* 32 bit offset to jump slot. */
283 case R_390_GOTPLT64
: /* 64 bit offset to jump slot. */
284 case R_390_GOTPLTENT
: /* 32 bit rel. offset to jump slot >> 1. */
285 if (info
->got_initialized
== 0) {
288 gotent
= me
->core_layout
.base
+ me
->arch
.got_offset
+
291 info
->got_initialized
= 1;
293 val
= info
->got_offset
+ rela
->r_addend
;
294 if (r_type
== R_390_GOT12
||
295 r_type
== R_390_GOTPLT12
)
296 rc
= apply_rela_bits(loc
, val
, 0, 12, 0);
297 else if (r_type
== R_390_GOT16
||
298 r_type
== R_390_GOTPLT16
)
299 rc
= apply_rela_bits(loc
, val
, 0, 16, 0);
300 else if (r_type
== R_390_GOT20
||
301 r_type
== R_390_GOTPLT20
)
302 rc
= apply_rela_bits(loc
, val
, 1, 20, 0);
303 else if (r_type
== R_390_GOT32
||
304 r_type
== R_390_GOTPLT32
)
305 rc
= apply_rela_bits(loc
, val
, 0, 32, 0);
306 else if (r_type
== R_390_GOT64
||
307 r_type
== R_390_GOTPLT64
)
308 rc
= apply_rela_bits(loc
, val
, 0, 64, 0);
309 else if (r_type
== R_390_GOTENT
||
310 r_type
== R_390_GOTPLTENT
) {
311 val
+= (Elf_Addr
) me
->core_layout
.base
- loc
;
312 rc
= apply_rela_bits(loc
, val
, 1, 32, 1);
315 case R_390_PLT16DBL
: /* 16 bit PC rel. PLT shifted by 1. */
316 case R_390_PLT32DBL
: /* 32 bit PC rel. PLT shifted by 1. */
317 case R_390_PLT32
: /* 32 bit PC relative PLT address. */
318 case R_390_PLT64
: /* 64 bit PC relative PLT address. */
319 case R_390_PLTOFF16
: /* 16 bit offset from GOT to PLT. */
320 case R_390_PLTOFF32
: /* 32 bit offset from GOT to PLT. */
321 case R_390_PLTOFF64
: /* 16 bit offset from GOT to PLT. */
322 if (info
->plt_initialized
== 0) {
324 ip
= me
->core_layout
.base
+ me
->arch
.plt_offset
+
326 ip
[0] = 0x0d10e310; /* basr 1,0 */
327 ip
[1] = 0x100a0004; /* lg 1,10(1) */
328 if (IS_ENABLED(CONFIG_EXPOLINE
) && !nospec_disable
) {
330 ij
= me
->core_layout
.base
+
331 me
->arch
.plt_offset
+
332 me
->arch
.plt_size
- PLT_ENTRY_SIZE
;
333 ip
[2] = 0xa7f40000 + /* j __jump_r1 */
335 (((unsigned long) ij
- 8 -
336 (unsigned long) ip
) / 2);
338 ip
[2] = 0x07f10000; /* br %r1 */
340 ip
[3] = (unsigned int) (val
>> 32);
341 ip
[4] = (unsigned int) val
;
342 info
->plt_initialized
= 1;
344 if (r_type
== R_390_PLTOFF16
||
345 r_type
== R_390_PLTOFF32
||
346 r_type
== R_390_PLTOFF64
)
347 val
= me
->arch
.plt_offset
- me
->arch
.got_offset
+
348 info
->plt_offset
+ rela
->r_addend
;
350 if (!((r_type
== R_390_PLT16DBL
&&
351 val
- loc
+ 0xffffUL
< 0x1ffffeUL
) ||
352 (r_type
== R_390_PLT32DBL
&&
353 val
- loc
+ 0xffffffffULL
< 0x1fffffffeULL
)))
354 val
= (Elf_Addr
) me
->core_layout
.base
+
355 me
->arch
.plt_offset
+
357 val
+= rela
->r_addend
- loc
;
359 if (r_type
== R_390_PLT16DBL
)
360 rc
= apply_rela_bits(loc
, val
, 1, 16, 1);
361 else if (r_type
== R_390_PLTOFF16
)
362 rc
= apply_rela_bits(loc
, val
, 0, 16, 0);
363 else if (r_type
== R_390_PLT32DBL
)
364 rc
= apply_rela_bits(loc
, val
, 1, 32, 1);
365 else if (r_type
== R_390_PLT32
||
366 r_type
== R_390_PLTOFF32
)
367 rc
= apply_rela_bits(loc
, val
, 0, 32, 0);
368 else if (r_type
== R_390_PLT64
||
369 r_type
== R_390_PLTOFF64
)
370 rc
= apply_rela_bits(loc
, val
, 0, 64, 0);
372 case R_390_GOTOFF16
: /* 16 bit offset to GOT. */
373 case R_390_GOTOFF32
: /* 32 bit offset to GOT. */
374 case R_390_GOTOFF64
: /* 64 bit offset to GOT. */
375 val
= val
+ rela
->r_addend
-
376 ((Elf_Addr
) me
->core_layout
.base
+ me
->arch
.got_offset
);
377 if (r_type
== R_390_GOTOFF16
)
378 rc
= apply_rela_bits(loc
, val
, 0, 16, 0);
379 else if (r_type
== R_390_GOTOFF32
)
380 rc
= apply_rela_bits(loc
, val
, 0, 32, 0);
381 else if (r_type
== R_390_GOTOFF64
)
382 rc
= apply_rela_bits(loc
, val
, 0, 64, 0);
384 case R_390_GOTPC
: /* 32 bit PC relative offset to GOT. */
385 case R_390_GOTPCDBL
: /* 32 bit PC rel. off. to GOT shifted by 1. */
386 val
= (Elf_Addr
) me
->core_layout
.base
+ me
->arch
.got_offset
+
387 rela
->r_addend
- loc
;
388 if (r_type
== R_390_GOTPC
)
389 rc
= apply_rela_bits(loc
, val
, 1, 32, 0);
390 else if (r_type
== R_390_GOTPCDBL
)
391 rc
= apply_rela_bits(loc
, val
, 1, 32, 1);
394 case R_390_GLOB_DAT
: /* Create GOT entry. */
395 case R_390_JMP_SLOT
: /* Create PLT entry. */
396 case R_390_RELATIVE
: /* Adjust by program base. */
397 /* Only needed if we want to support loading of
398 modules linked with -shared. */
401 printk(KERN_ERR
"module %s: unknown relocation: %u\n",
406 printk(KERN_ERR
"module %s: relocation error for symbol %s "
407 "(r_type %i, value 0x%lx)\n",
408 me
->name
, strtab
+ symtab
[r_sym
].st_name
,
409 r_type
, (unsigned long) val
);
415 int apply_relocate_add(Elf_Shdr
*sechdrs
, const char *strtab
,
416 unsigned int symindex
, unsigned int relsec
,
425 DEBUGP("Applying relocate section %u to %u\n",
426 relsec
, sechdrs
[relsec
].sh_info
);
427 base
= sechdrs
[sechdrs
[relsec
].sh_info
].sh_addr
;
428 symtab
= (Elf_Sym
*) sechdrs
[symindex
].sh_addr
;
429 rela
= (Elf_Rela
*) sechdrs
[relsec
].sh_addr
;
430 n
= sechdrs
[relsec
].sh_size
/ sizeof(Elf_Rela
);
432 for (i
= 0; i
< n
; i
++, rela
++) {
433 rc
= apply_rela(rela
, base
, symtab
, strtab
, me
);
440 int module_finalize(const Elf_Ehdr
*hdr
,
441 const Elf_Shdr
*sechdrs
,
445 char *secstrings
, *secname
;
448 if (IS_ENABLED(CONFIG_EXPOLINE
) &&
449 !nospec_disable
&& me
->arch
.plt_size
) {
452 ij
= me
->core_layout
.base
+ me
->arch
.plt_offset
+
453 me
->arch
.plt_size
- PLT_ENTRY_SIZE
;
454 if (test_facility(35)) {
455 ij
[0] = 0xc6000000; /* exrl %r0,.+10 */
456 ij
[1] = 0x0005a7f4; /* j . */
457 ij
[2] = 0x000007f1; /* br %r1 */
459 ij
[0] = 0x44000000 | (unsigned int)
460 offsetof(struct lowcore
, br_r1_trampoline
);
461 ij
[1] = 0xa7f40000; /* j . */
465 secstrings
= (void *)hdr
+ sechdrs
[hdr
->e_shstrndx
].sh_offset
;
466 for (s
= sechdrs
; s
< sechdrs
+ hdr
->e_shnum
; s
++) {
467 aseg
= (void *) s
->sh_addr
;
468 secname
= secstrings
+ s
->sh_name
;
470 if (!strcmp(".altinstructions", secname
))
471 /* patch .altinstructions */
472 apply_alternatives(aseg
, aseg
+ s
->sh_size
);
474 if (IS_ENABLED(CONFIG_EXPOLINE
) &&
475 (!strncmp(".s390_indirect", secname
, 14)))
476 nospec_revert(aseg
, aseg
+ s
->sh_size
);
478 if (IS_ENABLED(CONFIG_EXPOLINE
) &&
479 (!strncmp(".s390_return", secname
, 12)))
480 nospec_revert(aseg
, aseg
+ s
->sh_size
);
483 jump_label_apply_nops(me
);