Searched refs:get_kernel_info_pc (Results 1 – 3 of 3) sorted by relevance
58 uint64_t get_kernel_info_pc(void);
61 uint64_t get_kernel_info_pc(void) in get_kernel_info_pc() function
358 next_image_info->pc = get_kernel_info_pc(); in bl31_plat_get_next_kernel64_ep_info()402 next_image_info->pc = get_kernel_info_pc(); in bl31_plat_get_next_kernel32_ep_info()