14ecca339SDan Handley/* 2*ec0088bbSAlexeiFedorov * Copyright (c) 2013-2024, Arm Limited and Contributors. All rights reserved. 34ecca339SDan Handley * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 54ecca339SDan Handley */ 64ecca339SDan Handley 797043ac9SDan Handley#include <arch.h> 84ecca339SDan Handley#include <asm_macros.S> 9bc920128SSoby Mathew#include <assert_macros.S> 101242b9a9SVarun Wadekar#include <common/bl_common.h> 1109d40e0eSAntonio Nino Diaz#include <lib/xlat_tables/xlat_tables_defs.h> 124ecca339SDan Handley 134ecca339SDan Handley .globl smc 144ecca339SDan Handley 15308d359bSDouglas Raillard .globl zero_normalmem 16308d359bSDouglas Raillard .globl zeromem 174ecca339SDan Handley .globl memcpy16 184ecca339SDan Handley 19ec0c8fdaSAntonio Nino Diaz .globl disable_mmu_el1 202f5dcfefSAndrew Thoelke .globl disable_mmu_el3 21ec0c8fdaSAntonio Nino Diaz .globl disable_mmu_icache_el1 222f5dcfefSAndrew Thoelke .globl disable_mmu_icache_el3 23931f7c61SSoby Mathew .globl fixup_gdt_reloc 244ecca339SDan Handleyfunc smc 254ecca339SDan Handley smc #0 268b779620SKévin Petitendfunc smc 274ecca339SDan Handley 284ecca339SDan Handley/* ----------------------------------------------------------------------- 29308d359bSDouglas Raillard * void zero_normalmem(void *mem, unsigned int length); 30308d359bSDouglas Raillard * 31308d359bSDouglas Raillard * Initialise a region in normal memory to 0. This functions complies with the 32308d359bSDouglas Raillard * AAPCS and can be called from C code. 33308d359bSDouglas Raillard * 34308d359bSDouglas Raillard * NOTE: MMU must be enabled when using this function as it can only operate on 35308d359bSDouglas Raillard * normal memory. It is intended to be mainly used from C code when MMU 36308d359bSDouglas Raillard * is usually enabled. 37308d359bSDouglas Raillard * ----------------------------------------------------------------------- 38308d359bSDouglas Raillard */ 39308d359bSDouglas Raillard.equ zero_normalmem, zeromem_dczva 40308d359bSDouglas Raillard 41308d359bSDouglas Raillard/* ----------------------------------------------------------------------- 42308d359bSDouglas Raillard * void zeromem(void *mem, unsigned int length); 43308d359bSDouglas Raillard * 44308d359bSDouglas Raillard * Initialise a region of device memory to 0. This functions complies with the 45308d359bSDouglas Raillard * AAPCS and can be called from C code. 46308d359bSDouglas Raillard * 47308d359bSDouglas Raillard * NOTE: When data caches and MMU are enabled, zero_normalmem can usually be 48308d359bSDouglas Raillard * used instead for faster zeroing. 49308d359bSDouglas Raillard * 50308d359bSDouglas Raillard * ----------------------------------------------------------------------- 51308d359bSDouglas Raillard */ 52308d359bSDouglas Raillardfunc zeromem 53308d359bSDouglas Raillard /* x2 is the address past the last zeroed address */ 54308d359bSDouglas Raillard add x2, x0, x1 55308d359bSDouglas Raillard /* 56308d359bSDouglas Raillard * Uses the fallback path that does not use DC ZVA instruction and 57308d359bSDouglas Raillard * therefore does not need enabled MMU 58308d359bSDouglas Raillard */ 59308d359bSDouglas Raillard b .Lzeromem_dczva_fallback_entry 60308d359bSDouglas Raillardendfunc zeromem 61308d359bSDouglas Raillard 62308d359bSDouglas Raillard/* ----------------------------------------------------------------------- 63308d359bSDouglas Raillard * void zeromem_dczva(void *mem, unsigned int length); 64308d359bSDouglas Raillard * 65308d359bSDouglas Raillard * Fill a region of normal memory of size "length" in bytes with null bytes. 66308d359bSDouglas Raillard * MMU must be enabled and the memory be of 67308d359bSDouglas Raillard * normal type. This is because this function internally uses the DC ZVA 68308d359bSDouglas Raillard * instruction, which generates an Alignment fault if used on any type of 69308d359bSDouglas Raillard * Device memory (see section D3.4.9 of the ARMv8 ARM, issue k). When the MMU 70308d359bSDouglas Raillard * is disabled, all memory behaves like Device-nGnRnE memory (see section 71308d359bSDouglas Raillard * D4.2.8), hence the requirement on the MMU being enabled. 72308d359bSDouglas Raillard * NOTE: The code assumes that the block size as defined in DCZID_EL0 73308d359bSDouglas Raillard * register is at least 16 bytes. 74308d359bSDouglas Raillard * 75308d359bSDouglas Raillard * ----------------------------------------------------------------------- 76308d359bSDouglas Raillard */ 77308d359bSDouglas Raillardfunc zeromem_dczva 78308d359bSDouglas Raillard 79308d359bSDouglas Raillard /* 80308d359bSDouglas Raillard * The function consists of a series of loops that zero memory one byte 81308d359bSDouglas Raillard * at a time, 16 bytes at a time or using the DC ZVA instruction to 82308d359bSDouglas Raillard * zero aligned block of bytes, which is assumed to be more than 16. 83308d359bSDouglas Raillard * In the case where the DC ZVA instruction cannot be used or if the 84308d359bSDouglas Raillard * first 16 bytes loop would overflow, there is fallback path that does 85308d359bSDouglas Raillard * not use DC ZVA. 86308d359bSDouglas Raillard * Note: The fallback path is also used by the zeromem function that 87308d359bSDouglas Raillard * branches to it directly. 88308d359bSDouglas Raillard * 89308d359bSDouglas Raillard * +---------+ zeromem_dczva 90308d359bSDouglas Raillard * | entry | 91308d359bSDouglas Raillard * +----+----+ 92308d359bSDouglas Raillard * | 93308d359bSDouglas Raillard * v 94308d359bSDouglas Raillard * +---------+ 95308d359bSDouglas Raillard * | checks |>o-------+ (If any check fails, fallback) 96308d359bSDouglas Raillard * +----+----+ | 97308d359bSDouglas Raillard * | |---------------+ 98308d359bSDouglas Raillard * v | Fallback path | 99308d359bSDouglas Raillard * +------+------+ |---------------+ 100308d359bSDouglas Raillard * | 1 byte loop | | 101308d359bSDouglas Raillard * +------+------+ .Lzeromem_dczva_initial_1byte_aligned_end 102308d359bSDouglas Raillard * | | 103308d359bSDouglas Raillard * v | 104308d359bSDouglas Raillard * +-------+-------+ | 105308d359bSDouglas Raillard * | 16 bytes loop | | 106308d359bSDouglas Raillard * +-------+-------+ | 107308d359bSDouglas Raillard * | | 108308d359bSDouglas Raillard * v | 109308d359bSDouglas Raillard * +------+------+ .Lzeromem_dczva_blocksize_aligned 110308d359bSDouglas Raillard * | DC ZVA loop | | 111308d359bSDouglas Raillard * +------+------+ | 112308d359bSDouglas Raillard * +--------+ | | 113308d359bSDouglas Raillard * | | | | 114308d359bSDouglas Raillard * | v v | 115308d359bSDouglas Raillard * | +-------+-------+ .Lzeromem_dczva_final_16bytes_aligned 116308d359bSDouglas Raillard * | | 16 bytes loop | | 117308d359bSDouglas Raillard * | +-------+-------+ | 118308d359bSDouglas Raillard * | | | 119308d359bSDouglas Raillard * | v | 120308d359bSDouglas Raillard * | +------+------+ .Lzeromem_dczva_final_1byte_aligned 121308d359bSDouglas Raillard * | | 1 byte loop | | 122308d359bSDouglas Raillard * | +-------------+ | 123308d359bSDouglas Raillard * | | | 124308d359bSDouglas Raillard * | v | 125308d359bSDouglas Raillard * | +---+--+ | 126308d359bSDouglas Raillard * | | exit | | 127308d359bSDouglas Raillard * | +------+ | 128308d359bSDouglas Raillard * | | 129308d359bSDouglas Raillard * | +--------------+ +------------------+ zeromem 130308d359bSDouglas Raillard * | | +----------------| zeromem function | 131308d359bSDouglas Raillard * | | | +------------------+ 132308d359bSDouglas Raillard * | v v 133308d359bSDouglas Raillard * | +-------------+ .Lzeromem_dczva_fallback_entry 134308d359bSDouglas Raillard * | | 1 byte loop | 135308d359bSDouglas Raillard * | +------+------+ 136308d359bSDouglas Raillard * | | 137308d359bSDouglas Raillard * +-----------+ 138308d359bSDouglas Raillard */ 139308d359bSDouglas Raillard 140308d359bSDouglas Raillard /* 141308d359bSDouglas Raillard * Readable names for registers 142308d359bSDouglas Raillard * 143308d359bSDouglas Raillard * Registers x0, x1 and x2 are also set by zeromem which 144308d359bSDouglas Raillard * branches into the fallback path directly, so cursor, length and 145308d359bSDouglas Raillard * stop_address should not be retargeted to other registers. 146308d359bSDouglas Raillard */ 147308d359bSDouglas Raillard cursor .req x0 /* Start address and then current address */ 148308d359bSDouglas Raillard length .req x1 /* Length in bytes of the region to zero out */ 149308d359bSDouglas Raillard /* Reusing x1 as length is never used after block_mask is set */ 150308d359bSDouglas Raillard block_mask .req x1 /* Bitmask of the block size read in DCZID_EL0 */ 151308d359bSDouglas Raillard stop_address .req x2 /* Address past the last zeroed byte */ 152308d359bSDouglas Raillard block_size .req x3 /* Size of a block in bytes as read in DCZID_EL0 */ 153308d359bSDouglas Raillard tmp1 .req x4 154308d359bSDouglas Raillard tmp2 .req x5 155308d359bSDouglas Raillard 156044bb2faSAntonio Nino Diaz#if ENABLE_ASSERTIONS 157308d359bSDouglas Raillard /* 158308d359bSDouglas Raillard * Check for M bit (MMU enabled) of the current SCTLR_EL(1|3) 159308d359bSDouglas Raillard * register value and panic if the MMU is disabled. 160308d359bSDouglas Raillard */ 1616c09af9fSZelalem Aweke#if defined(IMAGE_BL1) || defined(IMAGE_BL31) || (defined(IMAGE_BL2) && \ 16242d4d3baSArvind Ram Prakash BL2_RUNS_AT_EL3) 163308d359bSDouglas Raillard mrs tmp1, sctlr_el3 164308d359bSDouglas Raillard#else 165308d359bSDouglas Raillard mrs tmp1, sctlr_el1 166308d359bSDouglas Raillard#endif 167308d359bSDouglas Raillard 168308d359bSDouglas Raillard tst tmp1, #SCTLR_M_BIT 169308d359bSDouglas Raillard ASM_ASSERT(ne) 170044bb2faSAntonio Nino Diaz#endif /* ENABLE_ASSERTIONS */ 171308d359bSDouglas Raillard 172308d359bSDouglas Raillard /* stop_address is the address past the last to zero */ 173308d359bSDouglas Raillard add stop_address, cursor, length 174308d359bSDouglas Raillard 175308d359bSDouglas Raillard /* 176308d359bSDouglas Raillard * Get block_size = (log2(<block size>) >> 2) (see encoding of 177308d359bSDouglas Raillard * dczid_el0 reg) 178308d359bSDouglas Raillard */ 179308d359bSDouglas Raillard mrs block_size, dczid_el0 180308d359bSDouglas Raillard 181308d359bSDouglas Raillard /* 182308d359bSDouglas Raillard * Select the 4 lowest bits and convert the extracted log2(<block size 183308d359bSDouglas Raillard * in words>) to <block size in bytes> 184308d359bSDouglas Raillard */ 185308d359bSDouglas Raillard ubfx block_size, block_size, #0, #4 186308d359bSDouglas Raillard mov tmp2, #(1 << 2) 187308d359bSDouglas Raillard lsl block_size, tmp2, block_size 188308d359bSDouglas Raillard 189044bb2faSAntonio Nino Diaz#if ENABLE_ASSERTIONS 190308d359bSDouglas Raillard /* 191308d359bSDouglas Raillard * Assumes block size is at least 16 bytes to avoid manual realignment 192308d359bSDouglas Raillard * of the cursor at the end of the DCZVA loop. 193308d359bSDouglas Raillard */ 194308d359bSDouglas Raillard cmp block_size, #16 195308d359bSDouglas Raillard ASM_ASSERT(hs) 196308d359bSDouglas Raillard#endif 197308d359bSDouglas Raillard /* 198308d359bSDouglas Raillard * Not worth doing all the setup for a region less than a block and 199308d359bSDouglas Raillard * protects against zeroing a whole block when the area to zero is 200308d359bSDouglas Raillard * smaller than that. Also, as it is assumed that the block size is at 201308d359bSDouglas Raillard * least 16 bytes, this also protects the initial aligning loops from 202308d359bSDouglas Raillard * trying to zero 16 bytes when length is less than 16. 203308d359bSDouglas Raillard */ 204308d359bSDouglas Raillard cmp length, block_size 205308d359bSDouglas Raillard b.lo .Lzeromem_dczva_fallback_entry 206308d359bSDouglas Raillard 207308d359bSDouglas Raillard /* 208308d359bSDouglas Raillard * Calculate the bitmask of the block alignment. It will never 209308d359bSDouglas Raillard * underflow as the block size is between 4 bytes and 2kB. 210308d359bSDouglas Raillard * block_mask = block_size - 1 211308d359bSDouglas Raillard */ 212308d359bSDouglas Raillard sub block_mask, block_size, #1 213308d359bSDouglas Raillard 214308d359bSDouglas Raillard /* 215308d359bSDouglas Raillard * length alias should not be used after this point unless it is 216308d359bSDouglas Raillard * defined as a register other than block_mask's. 217308d359bSDouglas Raillard */ 218308d359bSDouglas Raillard .unreq length 219308d359bSDouglas Raillard 220308d359bSDouglas Raillard /* 221308d359bSDouglas Raillard * If the start address is already aligned to zero block size, go 222308d359bSDouglas Raillard * straight to the cache zeroing loop. This is safe because at this 223308d359bSDouglas Raillard * point, the length cannot be smaller than a block size. 224308d359bSDouglas Raillard */ 225308d359bSDouglas Raillard tst cursor, block_mask 226308d359bSDouglas Raillard b.eq .Lzeromem_dczva_blocksize_aligned 227308d359bSDouglas Raillard 228308d359bSDouglas Raillard /* 229308d359bSDouglas Raillard * Calculate the first block-size-aligned address. It is assumed that 230308d359bSDouglas Raillard * the zero block size is at least 16 bytes. This address is the last 231308d359bSDouglas Raillard * address of this initial loop. 232308d359bSDouglas Raillard */ 233308d359bSDouglas Raillard orr tmp1, cursor, block_mask 234308d359bSDouglas Raillard add tmp1, tmp1, #1 235308d359bSDouglas Raillard 236308d359bSDouglas Raillard /* 237308d359bSDouglas Raillard * If the addition overflows, skip the cache zeroing loops. This is 238308d359bSDouglas Raillard * quite unlikely however. 239308d359bSDouglas Raillard */ 240308d359bSDouglas Raillard cbz tmp1, .Lzeromem_dczva_fallback_entry 241308d359bSDouglas Raillard 242308d359bSDouglas Raillard /* 243308d359bSDouglas Raillard * If the first block-size-aligned address is past the last address, 244308d359bSDouglas Raillard * fallback to the simpler code. 245308d359bSDouglas Raillard */ 246308d359bSDouglas Raillard cmp tmp1, stop_address 247308d359bSDouglas Raillard b.hi .Lzeromem_dczva_fallback_entry 248308d359bSDouglas Raillard 249308d359bSDouglas Raillard /* 250308d359bSDouglas Raillard * If the start address is already aligned to 16 bytes, skip this loop. 251308d359bSDouglas Raillard * It is safe to do this because tmp1 (the stop address of the initial 252308d359bSDouglas Raillard * 16 bytes loop) will never be greater than the final stop address. 253308d359bSDouglas Raillard */ 254308d359bSDouglas Raillard tst cursor, #0xf 255308d359bSDouglas Raillard b.eq .Lzeromem_dczva_initial_1byte_aligned_end 256308d359bSDouglas Raillard 257308d359bSDouglas Raillard /* Calculate the next address aligned to 16 bytes */ 258308d359bSDouglas Raillard orr tmp2, cursor, #0xf 259308d359bSDouglas Raillard add tmp2, tmp2, #1 260308d359bSDouglas Raillard /* If it overflows, fallback to the simple path (unlikely) */ 261308d359bSDouglas Raillard cbz tmp2, .Lzeromem_dczva_fallback_entry 262308d359bSDouglas Raillard /* 263308d359bSDouglas Raillard * Next aligned address cannot be after the stop address because the 264308d359bSDouglas Raillard * length cannot be smaller than 16 at this point. 265308d359bSDouglas Raillard */ 266308d359bSDouglas Raillard 267308d359bSDouglas Raillard /* First loop: zero byte per byte */ 268308d359bSDouglas Raillard1: 269308d359bSDouglas Raillard strb wzr, [cursor], #1 270308d359bSDouglas Raillard cmp cursor, tmp2 271308d359bSDouglas Raillard b.ne 1b 272308d359bSDouglas Raillard.Lzeromem_dczva_initial_1byte_aligned_end: 273308d359bSDouglas Raillard 274308d359bSDouglas Raillard /* 275308d359bSDouglas Raillard * Second loop: we need to zero 16 bytes at a time from cursor to tmp1 276308d359bSDouglas Raillard * before being able to use the code that deals with block-size-aligned 277308d359bSDouglas Raillard * addresses. 278308d359bSDouglas Raillard */ 279308d359bSDouglas Raillard cmp cursor, tmp1 280308d359bSDouglas Raillard b.hs 2f 281308d359bSDouglas Raillard1: 282308d359bSDouglas Raillard stp xzr, xzr, [cursor], #16 283308d359bSDouglas Raillard cmp cursor, tmp1 284308d359bSDouglas Raillard b.lo 1b 285308d359bSDouglas Raillard2: 286308d359bSDouglas Raillard 287308d359bSDouglas Raillard /* 288308d359bSDouglas Raillard * Third loop: zero a block at a time using DC ZVA cache block zeroing 289308d359bSDouglas Raillard * instruction. 290308d359bSDouglas Raillard */ 291308d359bSDouglas Raillard.Lzeromem_dczva_blocksize_aligned: 292308d359bSDouglas Raillard /* 293308d359bSDouglas Raillard * Calculate the last block-size-aligned address. If the result equals 294308d359bSDouglas Raillard * to the start address, the loop will exit immediately. 295308d359bSDouglas Raillard */ 296308d359bSDouglas Raillard bic tmp1, stop_address, block_mask 297308d359bSDouglas Raillard 298308d359bSDouglas Raillard cmp cursor, tmp1 299308d359bSDouglas Raillard b.hs 2f 300308d359bSDouglas Raillard1: 301308d359bSDouglas Raillard /* Zero the block containing the cursor */ 302308d359bSDouglas Raillard dc zva, cursor 303308d359bSDouglas Raillard /* Increment the cursor by the size of a block */ 304308d359bSDouglas Raillard add cursor, cursor, block_size 305308d359bSDouglas Raillard cmp cursor, tmp1 306308d359bSDouglas Raillard b.lo 1b 307308d359bSDouglas Raillard2: 308308d359bSDouglas Raillard 309308d359bSDouglas Raillard /* 310308d359bSDouglas Raillard * Fourth loop: zero 16 bytes at a time and then byte per byte the 311308d359bSDouglas Raillard * remaining area 312308d359bSDouglas Raillard */ 313308d359bSDouglas Raillard.Lzeromem_dczva_final_16bytes_aligned: 314308d359bSDouglas Raillard /* 315308d359bSDouglas Raillard * Calculate the last 16 bytes aligned address. It is assumed that the 316308d359bSDouglas Raillard * block size will never be smaller than 16 bytes so that the current 317308d359bSDouglas Raillard * cursor is aligned to at least 16 bytes boundary. 318308d359bSDouglas Raillard */ 319308d359bSDouglas Raillard bic tmp1, stop_address, #15 320308d359bSDouglas Raillard 321308d359bSDouglas Raillard cmp cursor, tmp1 322308d359bSDouglas Raillard b.hs 2f 323308d359bSDouglas Raillard1: 324308d359bSDouglas Raillard stp xzr, xzr, [cursor], #16 325308d359bSDouglas Raillard cmp cursor, tmp1 326308d359bSDouglas Raillard b.lo 1b 327308d359bSDouglas Raillard2: 328308d359bSDouglas Raillard 329308d359bSDouglas Raillard /* Fifth and final loop: zero byte per byte */ 330308d359bSDouglas Raillard.Lzeromem_dczva_final_1byte_aligned: 331308d359bSDouglas Raillard cmp cursor, stop_address 332308d359bSDouglas Raillard b.eq 2f 333308d359bSDouglas Raillard1: 334308d359bSDouglas Raillard strb wzr, [cursor], #1 335308d359bSDouglas Raillard cmp cursor, stop_address 336308d359bSDouglas Raillard b.ne 1b 337308d359bSDouglas Raillard2: 338308d359bSDouglas Raillard ret 339308d359bSDouglas Raillard 340308d359bSDouglas Raillard /* Fallback for unaligned start addresses */ 341308d359bSDouglas Raillard.Lzeromem_dczva_fallback_entry: 342308d359bSDouglas Raillard /* 343308d359bSDouglas Raillard * If the start address is already aligned to 16 bytes, skip this loop. 344308d359bSDouglas Raillard */ 345308d359bSDouglas Raillard tst cursor, #0xf 346308d359bSDouglas Raillard b.eq .Lzeromem_dczva_final_16bytes_aligned 347308d359bSDouglas Raillard 348308d359bSDouglas Raillard /* Calculate the next address aligned to 16 bytes */ 349308d359bSDouglas Raillard orr tmp1, cursor, #15 350308d359bSDouglas Raillard add tmp1, tmp1, #1 351308d359bSDouglas Raillard /* If it overflows, fallback to byte per byte zeroing */ 352308d359bSDouglas Raillard cbz tmp1, .Lzeromem_dczva_final_1byte_aligned 353308d359bSDouglas Raillard /* If the next aligned address is after the stop address, fall back */ 354308d359bSDouglas Raillard cmp tmp1, stop_address 355308d359bSDouglas Raillard b.hs .Lzeromem_dczva_final_1byte_aligned 356308d359bSDouglas Raillard 357308d359bSDouglas Raillard /* Fallback entry loop: zero byte per byte */ 358308d359bSDouglas Raillard1: 359308d359bSDouglas Raillard strb wzr, [cursor], #1 360308d359bSDouglas Raillard cmp cursor, tmp1 361308d359bSDouglas Raillard b.ne 1b 362308d359bSDouglas Raillard 363308d359bSDouglas Raillard b .Lzeromem_dczva_final_16bytes_aligned 364308d359bSDouglas Raillard 365308d359bSDouglas Raillard .unreq cursor 366308d359bSDouglas Raillard /* 367308d359bSDouglas Raillard * length is already unreq'ed to reuse the register for another 368308d359bSDouglas Raillard * variable. 369308d359bSDouglas Raillard */ 370308d359bSDouglas Raillard .unreq stop_address 371308d359bSDouglas Raillard .unreq block_size 372308d359bSDouglas Raillard .unreq block_mask 373308d359bSDouglas Raillard .unreq tmp1 374308d359bSDouglas Raillard .unreq tmp2 375308d359bSDouglas Raillardendfunc zeromem_dczva 3764ecca339SDan Handley 3774ecca339SDan Handley/* -------------------------------------------------------------------------- 3784ecca339SDan Handley * void memcpy16(void *dest, const void *src, unsigned int length) 3794ecca339SDan Handley * 3804ecca339SDan Handley * Copy length bytes from memory area src to memory area dest. 3814ecca339SDan Handley * The memory areas should not overlap. 3824ecca339SDan Handley * Destination and source addresses must be 16-byte aligned. 3834ecca339SDan Handley * -------------------------------------------------------------------------- 3844ecca339SDan Handley */ 3854ecca339SDan Handleyfunc memcpy16 386044bb2faSAntonio Nino Diaz#if ENABLE_ASSERTIONS 387bc920128SSoby Mathew orr x3, x0, x1 388bc920128SSoby Mathew tst x3, #0xf 389bc920128SSoby Mathew ASM_ASSERT(eq) 390bc920128SSoby Mathew#endif 3914ecca339SDan Handley/* copy 16 bytes at a time */ 3924ecca339SDan Handleym_loop16: 3934ecca339SDan Handley cmp x2, #16 394ea926532SDouglas Raillard b.lo m_loop1 3954ecca339SDan Handley ldp x3, x4, [x1], #16 3964ecca339SDan Handley stp x3, x4, [x0], #16 3974ecca339SDan Handley sub x2, x2, #16 3984ecca339SDan Handley b m_loop16 3994ecca339SDan Handley/* copy byte per byte */ 4004ecca339SDan Handleym_loop1: 4014ecca339SDan Handley cbz x2, m_end 4024ecca339SDan Handley ldrb w3, [x1], #1 4034ecca339SDan Handley strb w3, [x0], #1 4044ecca339SDan Handley subs x2, x2, #1 4054ecca339SDan Handley b.ne m_loop1 4068b779620SKévin Petitm_end: 4078b779620SKévin Petit ret 4088b779620SKévin Petitendfunc memcpy16 4092f5dcfefSAndrew Thoelke 4102f5dcfefSAndrew Thoelke/* --------------------------------------------------------------------------- 4112f5dcfefSAndrew Thoelke * Disable the MMU at EL3 4122f5dcfefSAndrew Thoelke * --------------------------------------------------------------------------- 4132f5dcfefSAndrew Thoelke */ 4142f5dcfefSAndrew Thoelke 4152f5dcfefSAndrew Thoelkefunc disable_mmu_el3 4162f5dcfefSAndrew Thoelke mov x1, #(SCTLR_M_BIT | SCTLR_C_BIT) 417ec0c8fdaSAntonio Nino Diazdo_disable_mmu_el3: 4182f5dcfefSAndrew Thoelke mrs x0, sctlr_el3 4192f5dcfefSAndrew Thoelke bic x0, x0, x1 4202f5dcfefSAndrew Thoelke msr sctlr_el3, x0 421ec0c8fdaSAntonio Nino Diaz isb /* ensure MMU is off */ 42254dc71e7SAchin Gupta dsb sy 42354dc71e7SAchin Gupta ret 4248b779620SKévin Petitendfunc disable_mmu_el3 4252f5dcfefSAndrew Thoelke 4262f5dcfefSAndrew Thoelke 4272f5dcfefSAndrew Thoelkefunc disable_mmu_icache_el3 4282f5dcfefSAndrew Thoelke mov x1, #(SCTLR_M_BIT | SCTLR_C_BIT | SCTLR_I_BIT) 429ec0c8fdaSAntonio Nino Diaz b do_disable_mmu_el3 4308b779620SKévin Petitendfunc disable_mmu_icache_el3 4312f5dcfefSAndrew Thoelke 4325c3272a7SAndrew Thoelke/* --------------------------------------------------------------------------- 433ec0c8fdaSAntonio Nino Diaz * Disable the MMU at EL1 434ec0c8fdaSAntonio Nino Diaz * --------------------------------------------------------------------------- 435ec0c8fdaSAntonio Nino Diaz */ 436ec0c8fdaSAntonio Nino Diaz 437ec0c8fdaSAntonio Nino Diazfunc disable_mmu_el1 438ec0c8fdaSAntonio Nino Diaz mov x1, #(SCTLR_M_BIT | SCTLR_C_BIT) 439ec0c8fdaSAntonio Nino Diazdo_disable_mmu_el1: 440ec0c8fdaSAntonio Nino Diaz mrs x0, sctlr_el1 441ec0c8fdaSAntonio Nino Diaz bic x0, x0, x1 442ec0c8fdaSAntonio Nino Diaz msr sctlr_el1, x0 443ec0c8fdaSAntonio Nino Diaz isb /* ensure MMU is off */ 444ec0c8fdaSAntonio Nino Diaz dsb sy 445ec0c8fdaSAntonio Nino Diaz ret 446ec0c8fdaSAntonio Nino Diazendfunc disable_mmu_el1 447ec0c8fdaSAntonio Nino Diaz 448ec0c8fdaSAntonio Nino Diaz 449ec0c8fdaSAntonio Nino Diazfunc disable_mmu_icache_el1 450ec0c8fdaSAntonio Nino Diaz mov x1, #(SCTLR_M_BIT | SCTLR_C_BIT | SCTLR_I_BIT) 451ec0c8fdaSAntonio Nino Diaz b do_disable_mmu_el1 452ec0c8fdaSAntonio Nino Diazendfunc disable_mmu_icache_el1 453ec0c8fdaSAntonio Nino Diaz 454ec0c8fdaSAntonio Nino Diaz/* --------------------------------------------------------------------------- 455931f7c61SSoby Mathew * Helper to fixup Global Descriptor table (GDT) and dynamic relocations 456931f7c61SSoby Mathew * (.rela.dyn) at runtime. 457931f7c61SSoby Mathew * 458931f7c61SSoby Mathew * This function is meant to be used when the firmware is compiled with -fpie 459931f7c61SSoby Mathew * and linked with -pie options. We rely on the linker script exporting 460931f7c61SSoby Mathew * appropriate markers for start and end of the section. For GOT, we 461931f7c61SSoby Mathew * expect __GOT_START__ and __GOT_END__. Similarly for .rela.dyn, we expect 462931f7c61SSoby Mathew * __RELA_START__ and __RELA_END__. 463931f7c61SSoby Mathew * 464931f7c61SSoby Mathew * The function takes the limits of the memory to apply fixups to as 465931f7c61SSoby Mathew * arguments (which is usually the limits of the relocable BL image). 466931f7c61SSoby Mathew * x0 - the start of the fixup region 467931f7c61SSoby Mathew * x1 - the limit of the fixup region 468db9736e3SAlexei Fedorov * These addresses have to be 4KB page aligned. 469931f7c61SSoby Mathew * --------------------------------------------------------------------------- 470931f7c61SSoby Mathew */ 471db9736e3SAlexei Fedorov 472db9736e3SAlexei Fedorov/* Relocation codes */ 473db9736e3SAlexei Fedorov#define R_AARCH64_NONE 0 474db9736e3SAlexei Fedorov#define R_AARCH64_RELATIVE 1027 475db9736e3SAlexei Fedorov 476931f7c61SSoby Mathewfunc fixup_gdt_reloc 477931f7c61SSoby Mathew mov x6, x0 478931f7c61SSoby Mathew mov x7, x1 479931f7c61SSoby Mathew 480931f7c61SSoby Mathew#if ENABLE_ASSERTIONS 481db9736e3SAlexei Fedorov /* Test if the limits are 4KB aligned */ 482931f7c61SSoby Mathew orr x0, x0, x1 483d7b5f408SJimmy Brisson tst x0, #(PAGE_SIZE_MASK) 484931f7c61SSoby Mathew ASM_ASSERT(eq) 485931f7c61SSoby Mathew#endif 486931f7c61SSoby Mathew /* 487931f7c61SSoby Mathew * Calculate the offset based on return address in x30. 488c5da062cSLouis Mayencourt * Assume that this function is called within a page at the start of 489c5da062cSLouis Mayencourt * fixup region. 490931f7c61SSoby Mathew */ 491d7b5f408SJimmy Brisson and x2, x30, #~(PAGE_SIZE_MASK) 492db9736e3SAlexei Fedorov subs x0, x2, x6 /* Diff(S) = Current Address - Compiled Address */ 493db9736e3SAlexei Fedorov b.eq 3f /* Diff(S) = 0. No relocation needed */ 494931f7c61SSoby Mathew 495931f7c61SSoby Mathew adrp x1, __GOT_START__ 496931f7c61SSoby Mathew add x1, x1, :lo12:__GOT_START__ 497931f7c61SSoby Mathew adrp x2, __GOT_END__ 498931f7c61SSoby Mathew add x2, x2, :lo12:__GOT_END__ 499931f7c61SSoby Mathew 500931f7c61SSoby Mathew /* 501931f7c61SSoby Mathew * GOT is an array of 64_bit addresses which must be fixed up as 502931f7c61SSoby Mathew * new_addr = old_addr + Diff(S). 503931f7c61SSoby Mathew * The new_addr is the address currently the binary is executing from 504931f7c61SSoby Mathew * and old_addr is the address at compile time. 505931f7c61SSoby Mathew */ 506db9736e3SAlexei Fedorov1: ldr x3, [x1] 507db9736e3SAlexei Fedorov 508931f7c61SSoby Mathew /* Skip adding offset if address is < lower limit */ 509931f7c61SSoby Mathew cmp x3, x6 510931f7c61SSoby Mathew b.lo 2f 511db9736e3SAlexei Fedorov 5125ecde2a2SYann Gautier /* Skip adding offset if address is > upper limit */ 513931f7c61SSoby Mathew cmp x3, x7 5145ecde2a2SYann Gautier b.hi 2f 515931f7c61SSoby Mathew add x3, x3, x0 516931f7c61SSoby Mathew str x3, [x1] 517db9736e3SAlexei Fedorov 518db9736e3SAlexei Fedorov2: add x1, x1, #8 519931f7c61SSoby Mathew cmp x1, x2 520931f7c61SSoby Mathew b.lo 1b 521931f7c61SSoby Mathew 522931f7c61SSoby Mathew /* Starting dynamic relocations. Use adrp/adr to get RELA_START and END */ 523db9736e3SAlexei Fedorov3: adrp x1, __RELA_START__ 524931f7c61SSoby Mathew add x1, x1, :lo12:__RELA_START__ 525931f7c61SSoby Mathew adrp x2, __RELA_END__ 526931f7c61SSoby Mathew add x2, x2, :lo12:__RELA_END__ 527db9736e3SAlexei Fedorov 528931f7c61SSoby Mathew /* 529931f7c61SSoby Mathew * According to ELF-64 specification, the RELA data structure is as 530931f7c61SSoby Mathew * follows: 531db9736e3SAlexei Fedorov * typedef struct { 532931f7c61SSoby Mathew * Elf64_Addr r_offset; 533931f7c61SSoby Mathew * Elf64_Xword r_info; 534931f7c61SSoby Mathew * Elf64_Sxword r_addend; 535931f7c61SSoby Mathew * } Elf64_Rela; 536931f7c61SSoby Mathew * 537931f7c61SSoby Mathew * r_offset is address of reference 538931f7c61SSoby Mathew * r_info is symbol index and type of relocation (in this case 539db9736e3SAlexei Fedorov * code 1027 which corresponds to R_AARCH64_RELATIVE). 540931f7c61SSoby Mathew * r_addend is constant part of expression. 541931f7c61SSoby Mathew * 542931f7c61SSoby Mathew * Size of Elf64_Rela structure is 24 bytes. 543931f7c61SSoby Mathew */ 544db9736e3SAlexei Fedorov 545db9736e3SAlexei Fedorov /* Skip R_AARCH64_NONE entry with code 0 */ 546db9736e3SAlexei Fedorov1: ldr x3, [x1, #8] 547db9736e3SAlexei Fedorov cbz x3, 2f 548db9736e3SAlexei Fedorov 549931f7c61SSoby Mathew#if ENABLE_ASSERTIONS 550db9736e3SAlexei Fedorov /* Assert that the relocation type is R_AARCH64_RELATIVE */ 551db9736e3SAlexei Fedorov cmp x3, #R_AARCH64_RELATIVE 552931f7c61SSoby Mathew ASM_ASSERT(eq) 553931f7c61SSoby Mathew#endif 554931f7c61SSoby Mathew ldr x3, [x1] /* r_offset */ 555931f7c61SSoby Mathew add x3, x0, x3 556931f7c61SSoby Mathew ldr x4, [x1, #16] /* r_addend */ 557931f7c61SSoby Mathew 558931f7c61SSoby Mathew /* Skip adding offset if r_addend is < lower limit */ 559931f7c61SSoby Mathew cmp x4, x6 560931f7c61SSoby Mathew b.lo 2f 561db9736e3SAlexei Fedorov 5625ecde2a2SYann Gautier /* Skip adding offset if r_addend entry is > upper limit */ 563931f7c61SSoby Mathew cmp x4, x7 5645ecde2a2SYann Gautier b.hi 2f 565931f7c61SSoby Mathew 566931f7c61SSoby Mathew add x4, x0, x4 /* Diff(S) + r_addend */ 567931f7c61SSoby Mathew str x4, [x3] 568931f7c61SSoby Mathew 569931f7c61SSoby Mathew2: add x1, x1, #24 570931f7c61SSoby Mathew cmp x1, x2 571931f7c61SSoby Mathew b.lo 1b 572931f7c61SSoby Mathew ret 573931f7c61SSoby Mathewendfunc fixup_gdt_reloc 574