Searched refs:bl32_start (Results 1 – 2 of 2) sorted by relevance
328 uint64_t tzdram_start, tzdram_end, bl32_start, bl32_end; in plat_relocate_bl32_image() local336 bl32_start = bl32_img_info->image_base; in plat_relocate_bl32_image()340 assert(bl32_end > bl32_start); in plat_relocate_bl32_image()345 if ((bl32_start >= tzdram_end) || (bl32_end <= tzdram_start)) { in plat_relocate_bl32_image()350 (void *)(uintptr_t)bl32_start, in plat_relocate_bl32_image()354 zeromem((void *)(uintptr_t)bl32_start, in plat_relocate_bl32_image()
25 unsigned int bl32_start; member