Searched refs:get_kernel_info_r1 (Results 1 – 3 of 3) sorted by relevance
358 next_image_info->args.arg1 = get_kernel_info_r1(); in bl31_plat_get_next_kernel64_ep_info()402 next_image_info->args.arg1 = get_kernel_info_r1(); in bl31_plat_get_next_kernel32_ep_info()
77 uint64_t get_kernel_info_r1(void);
74 uint64_t get_kernel_info_r1(void) in get_kernel_info_r1() function