Searched refs:image_type (Results 1 – 1 of 1) sorted by relevance
320 uint32_t image_type; in bl31_prepare_next_image_entry() local335 image_type = bl31_get_next_image_type(); in bl31_prepare_next_image_entry()338 next_image_info = bl31_plat_get_next_image_ep_info(image_type); in bl31_prepare_next_image_entry()340 assert(image_type == GET_SECURITY_STATE(next_image_info->h.attr)); in bl31_prepare_next_image_entry()343 (image_type == SECURE) ? "secure" : "normal"); in bl31_prepare_next_image_entry()351 if (image_type == NON_SECURE) { in bl31_prepare_next_image_entry()354 cm_prepare_el3_exit(image_type); in bl31_prepare_next_image_entry()