Searched refs:image_type (Results 1 – 6 of 6) sorted by relevance
144 uint32_t image_type; in bl31_prepare_next_image_entry() local159 image_type = bl31_get_next_image_type(); in bl31_prepare_next_image_entry()162 next_image_info = bl31_plat_get_next_image_ep_info(image_type); in bl31_prepare_next_image_entry()164 assert(image_type == GET_SECURITY_STATE(next_image_info->h.attr)); in bl31_prepare_next_image_entry()167 (image_type == SECURE) ? "secure" : "normal"); in bl31_prepare_next_image_entry()170 cm_prepare_el3_exit(image_type); in bl31_prepare_next_image_entry()
429 uint32_t image_type; in bl31_prepare_kernel_entry() local433 image_type = NON_SECURE; in bl31_prepare_kernel_entry()442 assert(image_type == GET_SECURITY_STATE(next_image_info->h.attr)); in bl31_prepare_kernel_entry()445 (image_type == SECURE) ? "secure" : "normal"); in bl31_prepare_kernel_entry()450 cm_prepare_el3_exit(image_type); in bl31_prepare_kernel_entry()
362 unsigned short image_type; member
189 unsigned short image_type; member