Searched refs:image_type (Results 1 – 2 of 2) sorted by relevance
230 uint32_t image_type; in bl31_prepare_next_image_entry() local245 image_type = bl31_get_next_image_type(); in bl31_prepare_next_image_entry()248 next_image_info = bl31_plat_get_next_image_ep_info(image_type); in bl31_prepare_next_image_entry()250 assert(image_type == GET_SECURITY_STATE(next_image_info->h.attr)); in bl31_prepare_next_image_entry()253 (image_type == SECURE) ? "secure" : "normal"); in bl31_prepare_next_image_entry()256 cm_prepare_el3_exit(image_type); in bl31_prepare_next_image_entry()
427 uint32_t image_type; in bl31_prepare_kernel_entry() local431 image_type = NON_SECURE; in bl31_prepare_kernel_entry()440 assert(image_type == GET_SECURITY_STATE(next_image_info->h.attr)); in bl31_prepare_kernel_entry()443 (image_type == SECURE) ? "secure" : "normal"); in bl31_prepare_kernel_entry()448 cm_prepare_el3_exit(image_type); in bl31_prepare_kernel_entry()
Completed in 4 milliseconds