Searched refs:bl31_plat_get_next_kernel64_ep_info (Results 1 – 1 of 1) sorted by relevance
336 static entry_point_info_t *bl31_plat_get_next_kernel64_ep_info(void) in bl31_plat_get_next_kernel64_ep_info() function439 next_image_info = bl31_plat_get_next_kernel64_ep_info(); in bl31_prepare_kernel_entry()