Searched defs:k32_64 (Results 1 – 3 of 3) sorted by relevance
45 uint64_t k32_64) in save_kernel_info()
46 uint64_t k32_64; member
424 void bl31_prepare_kernel_entry(uint64_t k32_64) in bl31_prepare_kernel_entry()