Searched refs:tzdram_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() local204 tzdram_start = plat_bl31_params_from_bl2.tzdram_base; in bl31_early_platform_setup()210 assert(tzdram_end > tzdram_start); in bl31_early_platform_setup()212 assert(bl32_image_ep_info.pc > tzdram_start); in bl31_early_platform_setup()216 if (bl32_start >= tzdram_end || bl32_end <= tzdram_start) { in bl31_early_platform_setup()