Home
last modified time | relevance | path

Searched refs:addr_end (Results 1 – 1 of 1) sorted by relevance

/optee_os-3.20.0/core/arch/arm/kernel/
A Dboot.c405 vaddr_t addr_end = (vaddr_t)__init_end - offs - TEE_RAM_START; in undo_init_relocation() local
414 if (*reloc >= addr_end) in undo_init_relocation()

Completed in 4 milliseconds