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

/optee_os/core/arch/arm/kernel/
A D	boot.c	362 vaddr_t addr_start = (vaddr_t)__init_start - offs - TEE_RAM_START; in undo_init_relocation() local 368 if (*reloc < addr_start) in undo_init_relocation() 372 ptr = (void *)(paged_store + *reloc - addr_start); in undo_init_relocation()

Completed in 4 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023