Searched defs:bl32_start (Results 1 – 4 of 4) sorted by relevance
25 unsigned int bl32_start; member
328 uint64_t tzdram_start, tzdram_end, bl32_start, bl32_end; in plat_relocate_bl32_image() local