Searched refs:bl31_prepare_kernel_entry (Results 1 – 3 of 3) sorted by relevance
55 void bl31_prepare_kernel_entry(uint64_t k32_64);
92 bl31_prepare_kernel_entry(x4); in boot_to_kernel()
426 void bl31_prepare_kernel_entry(uint64_t k32_64) in bl31_prepare_kernel_entry() function