Searched refs:bl31_plat_get_next_kernel32_ep_info (Results 1 – 1 of 1) sorted by relevance
380 static entry_point_info_t *bl31_plat_get_next_kernel32_ep_info(void) in bl31_plat_get_next_kernel32_ep_info() function437 next_image_info = bl31_plat_get_next_kernel32_ep_info(); in bl31_prepare_kernel_entry()