Home
last modified time | relevance | path

Searched refs:image_type (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a/bl31/
A Dbl31_main.c230 uint32_t image_type; in bl31_prepare_next_image_entry() local
245 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()
/trusted-firmware-a/plat/mediatek/mt6795/
A Dbl31_plat_setup.c427 uint32_t image_type; in bl31_prepare_kernel_entry() local
431 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