Searched refs:k32_64 (Results 1 – 2 of 2) 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);