Searched refs:k32_64 (Results 1 – 3 of 3) sorted by relevance
45 uint64_t k32_64) in save_kernel_info() argument47 k_info.k32_64 = k32_64; in save_kernel_info()50 if (LINUX_KERNEL_32 == k32_64) { in save_kernel_info()
46 uint64_t k32_64; member72 void bl31_prepare_kernel_entry(uint64_t k32_64);
424 void bl31_prepare_kernel_entry(uint64_t k32_64) in bl31_prepare_kernel_entry() argument434 if (k32_64 == 0) in bl31_prepare_kernel_entry()