Searched refs:bl31_plat_get_next_kernel64_ep_info (Results 1 – 1 of 1) sorted by relevance
334 static entry_point_info_t *bl31_plat_get_next_kernel64_ep_info(void) in bl31_plat_get_next_kernel64_ep_info() function437 next_image_info = bl31_plat_get_next_kernel64_ep_info(); in bl31_prepare_kernel_entry()
Completed in 2 milliseconds