Searched refs:init_load_addr (Results 1 – 1 of 1) sorted by relevance
81 uintptr_t init_load_addr, free_end, requested_end; in parse_optee_image() local84 init_load_addr = ((uint64_t)image->load_addr_hi << 32) | in parse_optee_image()92 if (init_load_addr == -1) in parse_optee_image()93 init_load_addr = image_info->image_base; in parse_optee_image()102 if (check_uptr_overflow(init_load_addr, init_size - 1)) in parse_optee_image()104 requested_end = init_load_addr + (init_size - 1); in parse_optee_image()109 if (!((init_load_addr >= image_info->image_base) && in parse_optee_image()112 (void *)init_load_addr, in parse_optee_image()113 (void *)(init_load_addr + init_size), in parse_optee_image()129 image_info->image_base = init_load_addr; in parse_optee_image()