Searched refs:addr_start (Results 1 – 1 of 1) sorted by relevance
443 vaddr_t addr_start = (vaddr_t)__init_start - offs - TEE_LOAD_ADDR; in undo_init_relocation() local449 if (*reloc < addr_start) in undo_init_relocation()453 ptr = (void *)(paged_store + *reloc - addr_start); in undo_init_relocation()