1d2912cb1SThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only
21da177e4SLinus Torvalds /*
31da177e4SLinus Torvalds * linux/arch/arm/kernel/module.c
41da177e4SLinus Torvalds *
51da177e4SLinus Torvalds * Copyright (C) 2002 Russell King.
66a570b28SHyok S. Choi * Modified for nommu by Hyok S. Choi
71da177e4SLinus Torvalds *
81da177e4SLinus Torvalds * Module allocation method suggested by Andi Kleen.
91da177e4SLinus Torvalds */
101da177e4SLinus Torvalds #include <linux/module.h>
11f339ab3dSRussell King #include <linux/moduleloader.h>
121da177e4SLinus Torvalds #include <linux/kernel.h>
1327ac792cSAndrea Righi #include <linux/mm.h>
141da177e4SLinus Torvalds #include <linux/elf.h>
151da177e4SLinus Torvalds #include <linux/vmalloc.h>
161da177e4SLinus Torvalds #include <linux/fs.h>
171da177e4SLinus Torvalds #include <linux/string.h>
185a0e3ad6STejun Heo #include <linux/gfp.h>
191da177e4SLinus Torvalds
2037efe642SRussell King #include <asm/sections.h>
214a9cb360SRussell King #include <asm/smp_plat.h>
222e1926e7SCatalin Marinas #include <asm/unwind.h>
23f592d323SBen Dooks #include <asm/opcodes.h>
241da177e4SLinus Torvalds
251da177e4SLinus Torvalds #ifdef CONFIG_XIP_KERNEL
261da177e4SLinus Torvalds /*
271da177e4SLinus Torvalds * The XIP kernel text is mapped in the module area for modules and
281da177e4SLinus Torvalds * some other stuff to work without any indirect relocations.
29ab4f2ee1SRussell King * MODULES_VADDR is redefined here and not in asm/memory.h to avoid
301da177e4SLinus Torvalds * recompiling the whole kernel when CONFIG_XIP_KERNEL is turned on/off.
311da177e4SLinus Torvalds */
32ab4f2ee1SRussell King #undef MODULES_VADDR
3302afa9a8SChris Brandt #define MODULES_VADDR (((unsigned long)_exiprom + ~PMD_MASK) & PMD_MASK)
341da177e4SLinus Torvalds #endif
351da177e4SLinus Torvalds
366a570b28SHyok S. Choi #ifdef CONFIG_MMU
module_alloc(unsigned long size)371da177e4SLinus Torvalds void *module_alloc(unsigned long size)
381da177e4SLinus Torvalds {
3975d24d96SFlorian Fainelli gfp_t gfp_mask = GFP_KERNEL;
4075d24d96SFlorian Fainelli void *p;
4175d24d96SFlorian Fainelli
4275d24d96SFlorian Fainelli /* Silence the initial allocation */
4375d24d96SFlorian Fainelli if (IS_ENABLED(CONFIG_ARM_MODULE_PLTS))
4475d24d96SFlorian Fainelli gfp_mask |= __GFP_NOWARN;
4575d24d96SFlorian Fainelli
4675d24d96SFlorian Fainelli p = __vmalloc_node_range(size, 1, MODULES_VADDR, MODULES_END,
4775d24d96SFlorian Fainelli gfp_mask, PAGE_KERNEL_EXEC, 0, NUMA_NO_NODE,
487d485f64SArd Biesheuvel __builtin_return_address(0));
497d485f64SArd Biesheuvel if (!IS_ENABLED(CONFIG_ARM_MODULE_PLTS) || p)
507d485f64SArd Biesheuvel return p;
517d485f64SArd Biesheuvel return __vmalloc_node_range(size, 1, VMALLOC_START, VMALLOC_END,
52cb9e3c29SAndrey Ryabinin GFP_KERNEL, PAGE_KERNEL_EXEC, 0, NUMA_NO_NODE,
53d0a21265SDavid Rientjes __builtin_return_address(0));
541da177e4SLinus Torvalds }
5566574cc0SJonas Bonn #endif
561da177e4SLinus Torvalds
module_init_section(const char * name)57cdcb07e4SVincent Whitchurch bool module_init_section(const char *name)
58cdcb07e4SVincent Whitchurch {
59cdcb07e4SVincent Whitchurch return strstarts(name, ".init") ||
60cdcb07e4SVincent Whitchurch strstarts(name, ".ARM.extab.init") ||
61cdcb07e4SVincent Whitchurch strstarts(name, ".ARM.exidx.init");
62cdcb07e4SVincent Whitchurch }
63cdcb07e4SVincent Whitchurch
module_exit_section(const char * name)6470bac08dSMatthias Schiffer bool module_exit_section(const char *name)
6570bac08dSMatthias Schiffer {
6670bac08dSMatthias Schiffer return strstarts(name, ".exit") ||
6770bac08dSMatthias Schiffer strstarts(name, ".ARM.extab.exit") ||
6870bac08dSMatthias Schiffer strstarts(name, ".ARM.exidx.exit");
6970bac08dSMatthias Schiffer }
7070bac08dSMatthias Schiffer
71d6905849SArd Biesheuvel #ifdef CONFIG_ARM_HAS_GROUP_RELOCS
721fa8c4b1SArd Biesheuvel /*
731fa8c4b1SArd Biesheuvel * This implements the partitioning algorithm for group relocations as
741fa8c4b1SArd Biesheuvel * documented in the ARM AArch32 ELF psABI (IHI 0044).
751fa8c4b1SArd Biesheuvel *
761fa8c4b1SArd Biesheuvel * A single PC-relative symbol reference is divided in up to 3 add or subtract
771fa8c4b1SArd Biesheuvel * operations, where the final one could be incorporated into a load/store
781fa8c4b1SArd Biesheuvel * instruction with immediate offset. E.g.,
791fa8c4b1SArd Biesheuvel *
801fa8c4b1SArd Biesheuvel * ADD Rd, PC, #... or ADD Rd, PC, #...
811fa8c4b1SArd Biesheuvel * ADD Rd, Rd, #... ADD Rd, Rd, #...
821fa8c4b1SArd Biesheuvel * LDR Rd, [Rd, #...] ADD Rd, Rd, #...
831fa8c4b1SArd Biesheuvel *
841fa8c4b1SArd Biesheuvel * The latter has a guaranteed range of only 16 MiB (3x8 == 24 bits), so it is
851fa8c4b1SArd Biesheuvel * of limited use in the kernel. However, the ADD/ADD/LDR combo has a range of
861fa8c4b1SArd Biesheuvel * -/+ 256 MiB, (2x8 + 12 == 28 bits), which means it has sufficient range for
871fa8c4b1SArd Biesheuvel * any in-kernel symbol reference (unless module PLTs are being used).
881fa8c4b1SArd Biesheuvel *
891fa8c4b1SArd Biesheuvel * The main advantage of this approach over the typical pattern using a literal
901fa8c4b1SArd Biesheuvel * load is that literal loads may miss in the D-cache, and generally lead to
911fa8c4b1SArd Biesheuvel * lower cache efficiency for variables that are referenced often from many
921fa8c4b1SArd Biesheuvel * different places in the code.
931fa8c4b1SArd Biesheuvel */
get_group_rem(u32 group,u32 * offset)941fa8c4b1SArd Biesheuvel static u32 get_group_rem(u32 group, u32 *offset)
951fa8c4b1SArd Biesheuvel {
961fa8c4b1SArd Biesheuvel u32 val = *offset;
971fa8c4b1SArd Biesheuvel u32 shift;
981fa8c4b1SArd Biesheuvel do {
991fa8c4b1SArd Biesheuvel shift = val ? (31 - __fls(val)) & ~1 : 32;
1001fa8c4b1SArd Biesheuvel *offset = val;
1011fa8c4b1SArd Biesheuvel if (!val)
1021fa8c4b1SArd Biesheuvel break;
1031fa8c4b1SArd Biesheuvel val &= 0xffffff >> shift;
1041fa8c4b1SArd Biesheuvel } while (group--);
1051fa8c4b1SArd Biesheuvel return shift;
1061fa8c4b1SArd Biesheuvel }
107d6905849SArd Biesheuvel #endif
1081fa8c4b1SArd Biesheuvel
1091da177e4SLinus Torvalds int
apply_relocate(Elf32_Shdr * sechdrs,const char * strtab,unsigned int symindex,unsigned int relindex,struct module * module)1101da177e4SLinus Torvalds apply_relocate(Elf32_Shdr *sechdrs, const char *strtab, unsigned int symindex,
1111da177e4SLinus Torvalds unsigned int relindex, struct module *module)
1121da177e4SLinus Torvalds {
1131da177e4SLinus Torvalds Elf32_Shdr *symsec = sechdrs + symindex;
1141da177e4SLinus Torvalds Elf32_Shdr *relsec = sechdrs + relindex;
1151da177e4SLinus Torvalds Elf32_Shdr *dstsec = sechdrs + relsec->sh_info;
1161da177e4SLinus Torvalds Elf32_Rel *rel = (void *)relsec->sh_addr;
1171da177e4SLinus Torvalds unsigned int i;
1181da177e4SLinus Torvalds
1191da177e4SLinus Torvalds for (i = 0; i < relsec->sh_size / sizeof(Elf32_Rel); i++, rel++) {
1201da177e4SLinus Torvalds unsigned long loc;
1211da177e4SLinus Torvalds Elf32_Sym *sym;
12268e6fad4SRussell King const char *symname;
123d6905849SArd Biesheuvel #ifdef CONFIG_ARM_HAS_GROUP_RELOCS
1241fa8c4b1SArd Biesheuvel u32 shift, group = 1;
125d6905849SArd Biesheuvel #endif
1261da177e4SLinus Torvalds s32 offset;
127f592d323SBen Dooks u32 tmp;
128b7493156SCatalin Marinas #ifdef CONFIG_THUMB2_KERNEL
129adca6dc2SCatalin Marinas u32 upper, lower, sign, j1, j2;
130b7493156SCatalin Marinas #endif
1311da177e4SLinus Torvalds
1321da177e4SLinus Torvalds offset = ELF32_R_SYM(rel->r_info);
1331da177e4SLinus Torvalds if (offset < 0 || offset > (symsec->sh_size / sizeof(Elf32_Sym))) {
13468e6fad4SRussell King pr_err("%s: section %u reloc %u: bad relocation sym offset\n",
1351da177e4SLinus Torvalds module->name, relindex, i);
1361da177e4SLinus Torvalds return -ENOEXEC;
1371da177e4SLinus Torvalds }
1381da177e4SLinus Torvalds
1391da177e4SLinus Torvalds sym = ((Elf32_Sym *)symsec->sh_addr) + offset;
14068e6fad4SRussell King symname = strtab + sym->st_name;
1411da177e4SLinus Torvalds
1421da177e4SLinus Torvalds if (rel->r_offset < 0 || rel->r_offset > dstsec->sh_size - sizeof(u32)) {
14368e6fad4SRussell King pr_err("%s: section %u reloc %u sym '%s': out of bounds relocation, offset %d size %u\n",
14468e6fad4SRussell King module->name, relindex, i, symname,
14568e6fad4SRussell King rel->r_offset, dstsec->sh_size);
1461da177e4SLinus Torvalds return -ENOEXEC;
1471da177e4SLinus Torvalds }
1481da177e4SLinus Torvalds
1491da177e4SLinus Torvalds loc = dstsec->sh_addr + rel->r_offset;
1501da177e4SLinus Torvalds
1511da177e4SLinus Torvalds switch (ELF32_R_TYPE(rel->r_info)) {
1522e1926e7SCatalin Marinas case R_ARM_NONE:
1532e1926e7SCatalin Marinas /* ignore */
1542e1926e7SCatalin Marinas break;
1552e1926e7SCatalin Marinas
1561da177e4SLinus Torvalds case R_ARM_ABS32:
15755f0fb6aSAndrey Ryabinin case R_ARM_TARGET1:
1581da177e4SLinus Torvalds *(u32 *)loc += sym->st_value;
1591da177e4SLinus Torvalds break;
1601da177e4SLinus Torvalds
1611da177e4SLinus Torvalds case R_ARM_PC24:
162c2e26114SDaniel Jacobowitz case R_ARM_CALL:
163c2e26114SDaniel Jacobowitz case R_ARM_JUMP24:
1642b8514d0SArd Biesheuvel if (sym->st_value & 3) {
1652b8514d0SArd Biesheuvel pr_err("%s: section %u reloc %u sym '%s': unsupported interworking call (ARM -> Thumb)\n",
1662b8514d0SArd Biesheuvel module->name, relindex, i, symname);
1672b8514d0SArd Biesheuvel return -ENOEXEC;
1682b8514d0SArd Biesheuvel }
1692b8514d0SArd Biesheuvel
170f592d323SBen Dooks offset = __mem_to_opcode_arm(*(u32 *)loc);
171f592d323SBen Dooks offset = (offset & 0x00ffffff) << 2;
172*ddbb7ea9SMasahiro Yamada offset = sign_extend32(offset, 25);
1731da177e4SLinus Torvalds
1741da177e4SLinus Torvalds offset += sym->st_value - loc;
1757d485f64SArd Biesheuvel
1767d485f64SArd Biesheuvel /*
1777d485f64SArd Biesheuvel * Route through a PLT entry if 'offset' exceeds the
1787d485f64SArd Biesheuvel * supported range. Note that 'offset + loc + 8'
1797d485f64SArd Biesheuvel * contains the absolute jump target, i.e.,
1807d485f64SArd Biesheuvel * @sym + addend, corrected for the +8 PC bias.
1817d485f64SArd Biesheuvel */
1827d485f64SArd Biesheuvel if (IS_ENABLED(CONFIG_ARM_MODULE_PLTS) &&
1837d485f64SArd Biesheuvel (offset <= (s32)0xfe000000 ||
1847d485f64SArd Biesheuvel offset >= (s32)0x02000000))
1857d485f64SArd Biesheuvel offset = get_module_plt(module, loc,
1867d485f64SArd Biesheuvel offset + loc + 8)
1877d485f64SArd Biesheuvel - loc - 8;
1887d485f64SArd Biesheuvel
1892b8514d0SArd Biesheuvel if (offset <= (s32)0xfe000000 ||
190c5f12503SKevin Welton offset >= (s32)0x02000000) {
19168e6fad4SRussell King pr_err("%s: section %u reloc %u sym '%s': relocation %u out of range (%#lx -> %#x)\n",
19268e6fad4SRussell King module->name, relindex, i, symname,
19368e6fad4SRussell King ELF32_R_TYPE(rel->r_info), loc,
19468e6fad4SRussell King sym->st_value);
1951da177e4SLinus Torvalds return -ENOEXEC;
1961da177e4SLinus Torvalds }
1971da177e4SLinus Torvalds
1981da177e4SLinus Torvalds offset >>= 2;
199f592d323SBen Dooks offset &= 0x00ffffff;
2001da177e4SLinus Torvalds
201f592d323SBen Dooks *(u32 *)loc &= __opcode_to_mem_arm(0xff000000);
202f592d323SBen Dooks *(u32 *)loc |= __opcode_to_mem_arm(offset);
2031da177e4SLinus Torvalds break;
2041da177e4SLinus Torvalds
2054731f8b6SDaniel Silverstone case R_ARM_V4BX:
2064731f8b6SDaniel Silverstone /* Preserve Rm and the condition code. Alter
2074731f8b6SDaniel Silverstone * other bits to re-code instruction as
2084731f8b6SDaniel Silverstone * MOV PC,Rm.
2094731f8b6SDaniel Silverstone */
210f592d323SBen Dooks *(u32 *)loc &= __opcode_to_mem_arm(0xf000000f);
211f592d323SBen Dooks *(u32 *)loc |= __opcode_to_mem_arm(0x01a0f000);
2124731f8b6SDaniel Silverstone break;
2134731f8b6SDaniel Silverstone
2142e1926e7SCatalin Marinas case R_ARM_PREL31:
215050d18d1SArd Biesheuvel offset = (*(s32 *)loc << 1) >> 1; /* sign extend */
216050d18d1SArd Biesheuvel offset += sym->st_value - loc;
217050d18d1SArd Biesheuvel if (offset >= 0x40000000 || offset < -0x40000000) {
218050d18d1SArd Biesheuvel pr_err("%s: section %u reloc %u sym '%s': relocation %u out of range (%#lx -> %#x)\n",
219050d18d1SArd Biesheuvel module->name, relindex, i, symname,
220050d18d1SArd Biesheuvel ELF32_R_TYPE(rel->r_info), loc,
221050d18d1SArd Biesheuvel sym->st_value);
222050d18d1SArd Biesheuvel return -ENOEXEC;
223050d18d1SArd Biesheuvel }
224050d18d1SArd Biesheuvel *(u32 *)loc &= 0x80000000;
225050d18d1SArd Biesheuvel *(u32 *)loc |= offset & 0x7fffffff;
2262e1926e7SCatalin Marinas break;
2272e1926e7SCatalin Marinas
22822f2d230SArd Biesheuvel case R_ARM_REL32:
22922f2d230SArd Biesheuvel *(u32 *)loc += sym->st_value - loc;
23022f2d230SArd Biesheuvel break;
23122f2d230SArd Biesheuvel
232ae51e609SPaul Gortmaker case R_ARM_MOVW_ABS_NC:
233ae51e609SPaul Gortmaker case R_ARM_MOVT_ABS:
23422f2d230SArd Biesheuvel case R_ARM_MOVW_PREL_NC:
23522f2d230SArd Biesheuvel case R_ARM_MOVT_PREL:
236f592d323SBen Dooks offset = tmp = __mem_to_opcode_arm(*(u32 *)loc);
237ae51e609SPaul Gortmaker offset = ((offset & 0xf0000) >> 4) | (offset & 0xfff);
238*ddbb7ea9SMasahiro Yamada offset = sign_extend32(offset, 15);
239ae51e609SPaul Gortmaker
240ae51e609SPaul Gortmaker offset += sym->st_value;
24122f2d230SArd Biesheuvel if (ELF32_R_TYPE(rel->r_info) == R_ARM_MOVT_PREL ||
24222f2d230SArd Biesheuvel ELF32_R_TYPE(rel->r_info) == R_ARM_MOVW_PREL_NC)
24322f2d230SArd Biesheuvel offset -= loc;
24422f2d230SArd Biesheuvel if (ELF32_R_TYPE(rel->r_info) == R_ARM_MOVT_ABS ||
24522f2d230SArd Biesheuvel ELF32_R_TYPE(rel->r_info) == R_ARM_MOVT_PREL)
246ae51e609SPaul Gortmaker offset >>= 16;
247ae51e609SPaul Gortmaker
248f592d323SBen Dooks tmp &= 0xfff0f000;
249f592d323SBen Dooks tmp |= ((offset & 0xf000) << 4) |
250ae51e609SPaul Gortmaker (offset & 0x0fff);
251f592d323SBen Dooks
252f592d323SBen Dooks *(u32 *)loc = __opcode_to_mem_arm(tmp);
253ae51e609SPaul Gortmaker break;
254ae51e609SPaul Gortmaker
255d6905849SArd Biesheuvel #ifdef CONFIG_ARM_HAS_GROUP_RELOCS
2561fa8c4b1SArd Biesheuvel case R_ARM_ALU_PC_G0_NC:
2571fa8c4b1SArd Biesheuvel group = 0;
2581fa8c4b1SArd Biesheuvel fallthrough;
2591fa8c4b1SArd Biesheuvel case R_ARM_ALU_PC_G1_NC:
2601fa8c4b1SArd Biesheuvel tmp = __mem_to_opcode_arm(*(u32 *)loc);
2611fa8c4b1SArd Biesheuvel offset = ror32(tmp & 0xff, (tmp & 0xf00) >> 7);
2621fa8c4b1SArd Biesheuvel if (tmp & BIT(22))
2631fa8c4b1SArd Biesheuvel offset = -offset;
2641fa8c4b1SArd Biesheuvel offset += sym->st_value - loc;
2651fa8c4b1SArd Biesheuvel if (offset < 0) {
2661fa8c4b1SArd Biesheuvel offset = -offset;
2671fa8c4b1SArd Biesheuvel tmp = (tmp & ~BIT(23)) | BIT(22); // SUB opcode
2681fa8c4b1SArd Biesheuvel } else {
2691fa8c4b1SArd Biesheuvel tmp = (tmp & ~BIT(22)) | BIT(23); // ADD opcode
2701fa8c4b1SArd Biesheuvel }
2711fa8c4b1SArd Biesheuvel
2721fa8c4b1SArd Biesheuvel shift = get_group_rem(group, &offset);
2731fa8c4b1SArd Biesheuvel if (shift < 24) {
2741fa8c4b1SArd Biesheuvel offset >>= 24 - shift;
2751fa8c4b1SArd Biesheuvel offset |= (shift + 8) << 7;
2761fa8c4b1SArd Biesheuvel }
2771fa8c4b1SArd Biesheuvel *(u32 *)loc = __opcode_to_mem_arm((tmp & ~0xfff) | offset);
2781fa8c4b1SArd Biesheuvel break;
2791fa8c4b1SArd Biesheuvel
2801fa8c4b1SArd Biesheuvel case R_ARM_LDR_PC_G2:
2811fa8c4b1SArd Biesheuvel tmp = __mem_to_opcode_arm(*(u32 *)loc);
2821fa8c4b1SArd Biesheuvel offset = tmp & 0xfff;
2831fa8c4b1SArd Biesheuvel if (~tmp & BIT(23)) // U bit cleared?
2841fa8c4b1SArd Biesheuvel offset = -offset;
2851fa8c4b1SArd Biesheuvel offset += sym->st_value - loc;
2861fa8c4b1SArd Biesheuvel if (offset < 0) {
2871fa8c4b1SArd Biesheuvel offset = -offset;
2881fa8c4b1SArd Biesheuvel tmp &= ~BIT(23); // clear U bit
2891fa8c4b1SArd Biesheuvel } else {
2901fa8c4b1SArd Biesheuvel tmp |= BIT(23); // set U bit
2911fa8c4b1SArd Biesheuvel }
2921fa8c4b1SArd Biesheuvel get_group_rem(2, &offset);
2931fa8c4b1SArd Biesheuvel
2941fa8c4b1SArd Biesheuvel if (offset > 0xfff) {
2951fa8c4b1SArd Biesheuvel pr_err("%s: section %u reloc %u sym '%s': relocation %u out of range (%#lx -> %#x)\n",
2961fa8c4b1SArd Biesheuvel module->name, relindex, i, symname,
2971fa8c4b1SArd Biesheuvel ELF32_R_TYPE(rel->r_info), loc,
2981fa8c4b1SArd Biesheuvel sym->st_value);
2991fa8c4b1SArd Biesheuvel return -ENOEXEC;
3001fa8c4b1SArd Biesheuvel }
3011fa8c4b1SArd Biesheuvel *(u32 *)loc = __opcode_to_mem_arm((tmp & ~0xfff) | offset);
3021fa8c4b1SArd Biesheuvel break;
303d6905849SArd Biesheuvel #endif
304b7493156SCatalin Marinas #ifdef CONFIG_THUMB2_KERNEL
305adca6dc2SCatalin Marinas case R_ARM_THM_CALL:
306adca6dc2SCatalin Marinas case R_ARM_THM_JUMP24:
3072b8514d0SArd Biesheuvel /*
3082b8514d0SArd Biesheuvel * For function symbols, only Thumb addresses are
3092b8514d0SArd Biesheuvel * allowed (no interworking).
3102b8514d0SArd Biesheuvel *
3112b8514d0SArd Biesheuvel * For non-function symbols, the destination
3122b8514d0SArd Biesheuvel * has no specific ARM/Thumb disposition, so
3132b8514d0SArd Biesheuvel * the branch is resolved under the assumption
3142b8514d0SArd Biesheuvel * that interworking is not required.
3152b8514d0SArd Biesheuvel */
3162b8514d0SArd Biesheuvel if (ELF32_ST_TYPE(sym->st_info) == STT_FUNC &&
3172b8514d0SArd Biesheuvel !(sym->st_value & 1)) {
3182b8514d0SArd Biesheuvel pr_err("%s: section %u reloc %u sym '%s': unsupported interworking call (Thumb -> ARM)\n",
3192b8514d0SArd Biesheuvel module->name, relindex, i, symname);
3202b8514d0SArd Biesheuvel return -ENOEXEC;
3212b8514d0SArd Biesheuvel }
3222b8514d0SArd Biesheuvel
323f592d323SBen Dooks upper = __mem_to_opcode_thumb16(*(u16 *)loc);
324f592d323SBen Dooks lower = __mem_to_opcode_thumb16(*(u16 *)(loc + 2));
325adca6dc2SCatalin Marinas
326adca6dc2SCatalin Marinas /*
327adca6dc2SCatalin Marinas * 25 bit signed address range (Thumb-2 BL and B.W
328adca6dc2SCatalin Marinas * instructions):
329adca6dc2SCatalin Marinas * S:I1:I2:imm10:imm11:0
330adca6dc2SCatalin Marinas * where:
331adca6dc2SCatalin Marinas * S = upper[10] = offset[24]
332adca6dc2SCatalin Marinas * I1 = ~(J1 ^ S) = offset[23]
333adca6dc2SCatalin Marinas * I2 = ~(J2 ^ S) = offset[22]
334adca6dc2SCatalin Marinas * imm10 = upper[9:0] = offset[21:12]
335adca6dc2SCatalin Marinas * imm11 = lower[10:0] = offset[11:1]
336adca6dc2SCatalin Marinas * J1 = lower[13]
337adca6dc2SCatalin Marinas * J2 = lower[11]
338adca6dc2SCatalin Marinas */
339adca6dc2SCatalin Marinas sign = (upper >> 10) & 1;
340adca6dc2SCatalin Marinas j1 = (lower >> 13) & 1;
341adca6dc2SCatalin Marinas j2 = (lower >> 11) & 1;
342adca6dc2SCatalin Marinas offset = (sign << 24) | ((~(j1 ^ sign) & 1) << 23) |
343adca6dc2SCatalin Marinas ((~(j2 ^ sign) & 1) << 22) |
344adca6dc2SCatalin Marinas ((upper & 0x03ff) << 12) |
345adca6dc2SCatalin Marinas ((lower & 0x07ff) << 1);
346*ddbb7ea9SMasahiro Yamada offset = sign_extend32(offset, 24);
347adca6dc2SCatalin Marinas offset += sym->st_value - loc;
348adca6dc2SCatalin Marinas
3497d485f64SArd Biesheuvel /*
3507d485f64SArd Biesheuvel * Route through a PLT entry if 'offset' exceeds the
3517d485f64SArd Biesheuvel * supported range.
3527d485f64SArd Biesheuvel */
3537d485f64SArd Biesheuvel if (IS_ENABLED(CONFIG_ARM_MODULE_PLTS) &&
3547d485f64SArd Biesheuvel (offset <= (s32)0xff000000 ||
3557d485f64SArd Biesheuvel offset >= (s32)0x01000000))
3567d485f64SArd Biesheuvel offset = get_module_plt(module, loc,
3577d485f64SArd Biesheuvel offset + loc + 4)
3587d485f64SArd Biesheuvel - loc - 4;
3597d485f64SArd Biesheuvel
3602b8514d0SArd Biesheuvel if (offset <= (s32)0xff000000 ||
361adca6dc2SCatalin Marinas offset >= (s32)0x01000000) {
36268e6fad4SRussell King pr_err("%s: section %u reloc %u sym '%s': relocation %u out of range (%#lx -> %#x)\n",
36368e6fad4SRussell King module->name, relindex, i, symname,
36468e6fad4SRussell King ELF32_R_TYPE(rel->r_info), loc,
36568e6fad4SRussell King sym->st_value);
366adca6dc2SCatalin Marinas return -ENOEXEC;
367adca6dc2SCatalin Marinas }
368adca6dc2SCatalin Marinas
369adca6dc2SCatalin Marinas sign = (offset >> 24) & 1;
370adca6dc2SCatalin Marinas j1 = sign ^ (~(offset >> 23) & 1);
371adca6dc2SCatalin Marinas j2 = sign ^ (~(offset >> 22) & 1);
372f592d323SBen Dooks upper = (u16)((upper & 0xf800) | (sign << 10) |
373adca6dc2SCatalin Marinas ((offset >> 12) & 0x03ff));
374f592d323SBen Dooks lower = (u16)((lower & 0xd000) |
375adca6dc2SCatalin Marinas (j1 << 13) | (j2 << 11) |
376adca6dc2SCatalin Marinas ((offset >> 1) & 0x07ff));
377f592d323SBen Dooks
378f592d323SBen Dooks *(u16 *)loc = __opcode_to_mem_thumb16(upper);
379f592d323SBen Dooks *(u16 *)(loc + 2) = __opcode_to_mem_thumb16(lower);
380adca6dc2SCatalin Marinas break;
381adca6dc2SCatalin Marinas
3828dd47741SCatalin Marinas case R_ARM_THM_MOVW_ABS_NC:
3838dd47741SCatalin Marinas case R_ARM_THM_MOVT_ABS:
38422f2d230SArd Biesheuvel case R_ARM_THM_MOVW_PREL_NC:
38522f2d230SArd Biesheuvel case R_ARM_THM_MOVT_PREL:
386f592d323SBen Dooks upper = __mem_to_opcode_thumb16(*(u16 *)loc);
387f592d323SBen Dooks lower = __mem_to_opcode_thumb16(*(u16 *)(loc + 2));
3888dd47741SCatalin Marinas
3898dd47741SCatalin Marinas /*
3908dd47741SCatalin Marinas * MOVT/MOVW instructions encoding in Thumb-2:
3918dd47741SCatalin Marinas *
3928dd47741SCatalin Marinas * i = upper[10]
3938dd47741SCatalin Marinas * imm4 = upper[3:0]
3948dd47741SCatalin Marinas * imm3 = lower[14:12]
3958dd47741SCatalin Marinas * imm8 = lower[7:0]
3968dd47741SCatalin Marinas *
3978dd47741SCatalin Marinas * imm16 = imm4:i:imm3:imm8
3988dd47741SCatalin Marinas */
3998dd47741SCatalin Marinas offset = ((upper & 0x000f) << 12) |
4008dd47741SCatalin Marinas ((upper & 0x0400) << 1) |
4018dd47741SCatalin Marinas ((lower & 0x7000) >> 4) | (lower & 0x00ff);
402*ddbb7ea9SMasahiro Yamada offset = sign_extend32(offset, 15);
4038dd47741SCatalin Marinas offset += sym->st_value;
4048dd47741SCatalin Marinas
40522f2d230SArd Biesheuvel if (ELF32_R_TYPE(rel->r_info) == R_ARM_THM_MOVT_PREL ||
40622f2d230SArd Biesheuvel ELF32_R_TYPE(rel->r_info) == R_ARM_THM_MOVW_PREL_NC)
40722f2d230SArd Biesheuvel offset -= loc;
40822f2d230SArd Biesheuvel if (ELF32_R_TYPE(rel->r_info) == R_ARM_THM_MOVT_ABS ||
40922f2d230SArd Biesheuvel ELF32_R_TYPE(rel->r_info) == R_ARM_THM_MOVT_PREL)
4108dd47741SCatalin Marinas offset >>= 16;
4118dd47741SCatalin Marinas
412f592d323SBen Dooks upper = (u16)((upper & 0xfbf0) |
4138dd47741SCatalin Marinas ((offset & 0xf000) >> 12) |
4148dd47741SCatalin Marinas ((offset & 0x0800) >> 1));
415f592d323SBen Dooks lower = (u16)((lower & 0x8f00) |
4168dd47741SCatalin Marinas ((offset & 0x0700) << 4) |
4178dd47741SCatalin Marinas (offset & 0x00ff));
418f592d323SBen Dooks *(u16 *)loc = __opcode_to_mem_thumb16(upper);
419f592d323SBen Dooks *(u16 *)(loc + 2) = __opcode_to_mem_thumb16(lower);
4208dd47741SCatalin Marinas break;
421b7493156SCatalin Marinas #endif
4228dd47741SCatalin Marinas
4231da177e4SLinus Torvalds default:
4244ed89f22SRussell King pr_err("%s: unknown relocation: %u\n",
4251da177e4SLinus Torvalds module->name, ELF32_R_TYPE(rel->r_info));
4261da177e4SLinus Torvalds return -ENOEXEC;
4271da177e4SLinus Torvalds }
4281da177e4SLinus Torvalds }
4291da177e4SLinus Torvalds return 0;
4301da177e4SLinus Torvalds }
4311da177e4SLinus Torvalds
4328931360eSRussell King struct mod_unwind_map {
4338931360eSRussell King const Elf_Shdr *unw_sec;
4348931360eSRussell King const Elf_Shdr *txt_sec;
4358931360eSRussell King };
4368931360eSRussell King
find_mod_section(const Elf32_Ehdr * hdr,const Elf_Shdr * sechdrs,const char * name)4374a9cb360SRussell King static const Elf_Shdr *find_mod_section(const Elf32_Ehdr *hdr,
4384a9cb360SRussell King const Elf_Shdr *sechdrs, const char *name)
4394a9cb360SRussell King {
4404a9cb360SRussell King const Elf_Shdr *s, *se;
4414a9cb360SRussell King const char *secstrs = (void *)hdr + sechdrs[hdr->e_shstrndx].sh_offset;
4424a9cb360SRussell King
4434a9cb360SRussell King for (s = sechdrs, se = sechdrs + hdr->e_shnum; s < se; s++)
4444a9cb360SRussell King if (strcmp(name, secstrs + s->sh_name) == 0)
4454a9cb360SRussell King return s;
4464a9cb360SRussell King
4474a9cb360SRussell King return NULL;
4484a9cb360SRussell King }
4494a9cb360SRussell King
450dc21af99SRussell King extern void fixup_pv_table(const void *, unsigned long);
4514a9cb360SRussell King extern void fixup_smp(const void *, unsigned long);
4524a9cb360SRussell King
module_finalize(const Elf32_Ehdr * hdr,const Elf_Shdr * sechdrs,struct module * mod)4538931360eSRussell King int module_finalize(const Elf32_Ehdr *hdr, const Elf_Shdr *sechdrs,
4548931360eSRussell King struct module *mod)
4558931360eSRussell King {
456dc21af99SRussell King const Elf_Shdr *s = NULL;
4572e1926e7SCatalin Marinas #ifdef CONFIG_ARM_UNWIND
4588931360eSRussell King const char *secstrs = (void *)hdr + sechdrs[hdr->e_shstrndx].sh_offset;
4594a9cb360SRussell King const Elf_Shdr *sechdrs_end = sechdrs + hdr->e_shnum;
460b6f21d14SChen Zhongjin struct list_head *unwind_list = &mod->arch.unwind_list;
4618931360eSRussell King
462b6f21d14SChen Zhongjin INIT_LIST_HEAD(unwind_list);
463b6f21d14SChen Zhongjin mod->arch.init_table = NULL;
4648931360eSRussell King
4658931360eSRussell King for (s = sechdrs; s < sechdrs_end; s++) {
4668931360eSRussell King const char *secname = secstrs + s->sh_name;
467b6f21d14SChen Zhongjin const char *txtname;
468b6f21d14SChen Zhongjin const Elf_Shdr *txt_sec;
4698931360eSRussell King
470b6f21d14SChen Zhongjin if (!(s->sh_flags & SHF_ALLOC) ||
471b6f21d14SChen Zhongjin s->sh_type != ELF_SECTION_UNWIND)
47250005a8dSRussell King continue;
47350005a8dSRussell King
474b6f21d14SChen Zhongjin if (!strcmp(".ARM.exidx", secname))
475b6f21d14SChen Zhongjin txtname = ".text";
476b6f21d14SChen Zhongjin else
477b6f21d14SChen Zhongjin txtname = secname + strlen(".ARM.exidx");
478b6f21d14SChen Zhongjin txt_sec = find_mod_section(hdr, sechdrs, txtname);
4792e1926e7SCatalin Marinas
480b6f21d14SChen Zhongjin if (txt_sec) {
481b6f21d14SChen Zhongjin struct unwind_table *table =
482b6f21d14SChen Zhongjin unwind_table_add(s->sh_addr,
483b6f21d14SChen Zhongjin s->sh_size,
484b6f21d14SChen Zhongjin txt_sec->sh_addr,
485b6f21d14SChen Zhongjin txt_sec->sh_size);
486b6f21d14SChen Zhongjin
487b6f21d14SChen Zhongjin list_add(&table->mod_list, unwind_list);
488b6f21d14SChen Zhongjin
489b6f21d14SChen Zhongjin /* save init table for module_arch_freeing_init */
490b6f21d14SChen Zhongjin if (strcmp(".ARM.exidx.init.text", secname) == 0)
491b6f21d14SChen Zhongjin mod->arch.init_table = table;
492b6f21d14SChen Zhongjin }
493b6f21d14SChen Zhongjin }
4942e1926e7SCatalin Marinas #endif
495dc21af99SRussell King #ifdef CONFIG_ARM_PATCH_PHYS_VIRT
496dc21af99SRussell King s = find_mod_section(hdr, sechdrs, ".pv_table");
497dc21af99SRussell King if (s)
498dc21af99SRussell King fixup_pv_table((void *)s->sh_addr, s->sh_size);
499dc21af99SRussell King #endif
5004a9cb360SRussell King s = find_mod_section(hdr, sechdrs, ".alt.smp.init");
5014a9cb360SRussell King if (s && !is_smp())
50220feaab0SRussell King #ifdef CONFIG_SMP_ON_UP
5034a9cb360SRussell King fixup_smp((void *)s->sh_addr, s->sh_size);
50420feaab0SRussell King #else
50520feaab0SRussell King return -EINVAL;
50620feaab0SRussell King #endif
5071da177e4SLinus Torvalds return 0;
5081da177e4SLinus Torvalds }
5091da177e4SLinus Torvalds
5101da177e4SLinus Torvalds void
module_arch_cleanup(struct module * mod)5111da177e4SLinus Torvalds module_arch_cleanup(struct module *mod)
5121da177e4SLinus Torvalds {
5138931360eSRussell King #ifdef CONFIG_ARM_UNWIND
514b6f21d14SChen Zhongjin struct unwind_table *tmp;
515b6f21d14SChen Zhongjin struct unwind_table *n;
5168931360eSRussell King
517b6f21d14SChen Zhongjin list_for_each_entry_safe(tmp, n,
518b6f21d14SChen Zhongjin &mod->arch.unwind_list, mod_list) {
519b6f21d14SChen Zhongjin list_del(&tmp->mod_list);
520b6f21d14SChen Zhongjin unwind_table_del(tmp);
521cdcb07e4SVincent Whitchurch }
522b6f21d14SChen Zhongjin mod->arch.init_table = NULL;
523cdcb07e4SVincent Whitchurch #endif
524cdcb07e4SVincent Whitchurch }
525cdcb07e4SVincent Whitchurch
module_arch_freeing_init(struct module * mod)526cdcb07e4SVincent Whitchurch void __weak module_arch_freeing_init(struct module *mod)
527cdcb07e4SVincent Whitchurch {
528cdcb07e4SVincent Whitchurch #ifdef CONFIG_ARM_UNWIND
529b6f21d14SChen Zhongjin struct unwind_table *init = mod->arch.init_table;
530b6f21d14SChen Zhongjin
531b6f21d14SChen Zhongjin if (init) {
532b6f21d14SChen Zhongjin mod->arch.init_table = NULL;
533b6f21d14SChen Zhongjin list_del(&init->mod_list);
534b6f21d14SChen Zhongjin unwind_table_del(init);
535b6f21d14SChen Zhongjin }
5368931360eSRussell King #endif
5371da177e4SLinus Torvalds }
538