Lines Matching defs:image_base
75 uintptr_t image_base;
83 image_base = image_data->image_base;
101 INFO("Loading image id=%u at address 0x%lx\n", image_id, image_base);
126 io_result = io_read(image_handle, image_base, image_size, &bytes_read);
132 INFO("Image id=%u loaded: 0x%lx - 0x%lx\n", image_id, image_base,
133 (uintptr_t)(image_base + image_size));
175 (void *)image_data->image_base,
179 zero_normalmem((void *)image_data->image_base,
181 flush_dcache_range(image_data->image_base,
241 flush_dcache_range(image_data->image_base,