Searched refs:get_kernel_info_r0 (Results 1 – 3 of 3) sorted by relevance
76 uint64_t get_kernel_info_r0(void);
69 uint64_t get_kernel_info_r0(void) in get_kernel_info_r0() function
357 next_image_info->args.arg0 = get_kernel_info_r0(); in bl31_plat_get_next_kernel64_ep_info()401 next_image_info->args.arg0 = get_kernel_info_r0(); in bl31_plat_get_next_kernel32_ep_info()