Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/plat/mediatek/common/
Dmtk_plat_common.c45 uint64_t k32_64) in save_kernel_info() argument
47 k_info.k32_64 = k32_64; in save_kernel_info()
50 if (LINUX_KERNEL_32 == k32_64) { in save_kernel_info()
Dmtk_plat_common.h46 uint64_t k32_64; member
72 void bl31_prepare_kernel_entry(uint64_t k32_64);
/external/arm-trusted-firmware/plat/mediatek/mt6795/
Dbl31_plat_setup.c424 void bl31_prepare_kernel_entry(uint64_t k32_64) in bl31_prepare_kernel_entry() argument
434 if (k32_64 == 0) in bl31_prepare_kernel_entry()