Searched refs:bl32_start (Results 1 – 1 of 1) sorted by relevance
129 uint64_t tzdram_start, tzdram_end, bl32_start, bl32_end; in bl31_early_platform_setup() local207 bl32_start = bl32_img_info.image_base; in bl31_early_platform_setup()211 assert(bl32_end > bl32_start); in bl31_early_platform_setup()216 if (bl32_start >= tzdram_end || bl32_end <= tzdram_start) { in bl31_early_platform_setup()221 (void *)(uintptr_t)bl32_start, in bl31_early_platform_setup()225 zeromem16((void *)(uintptr_t)bl32_start, in bl31_early_platform_setup()