Home
last modified time | relevance | path

Searched refs:get_kernel_info_r2 (Results 1 – 3 of 3) sorted by relevance

/external/arm-trusted-firmware/plat/mediatek/common/
Dmtk_plat_common.h78 uint64_t get_kernel_info_r2(void);
Dmtk_plat_common.c79 uint64_t get_kernel_info_r2(void) in get_kernel_info_r2() function
/external/arm-trusted-firmware/plat/mediatek/mt6795/
Dbl31_plat_setup.c403 next_image_info->args.arg2 = get_kernel_info_r2(); in bl31_plat_get_next_kernel32_ep_info()