Searched refs:k32_64 (Results 1 – 3 of 3) sorted by relevance
42 uint64_t k32_64) in save_kernel_info() argument44 k_info.k32_64 = k32_64; in save_kernel_info()47 if (LINUX_KERNEL_32 == k32_64) { in save_kernel_info()
38 uint64_t k32_64; member55 void bl31_prepare_kernel_entry(uint64_t k32_64);
426 void bl31_prepare_kernel_entry(uint64_t k32_64) in bl31_prepare_kernel_entry() argument436 if (k32_64 == 0) in bl31_prepare_kernel_entry()