Searched refs:bl31_prepare_kernel_entry (Results 1 – 3 of 3) sorted by relevance
72 void bl31_prepare_kernel_entry(uint64_t k32_64);
95 bl31_prepare_kernel_entry(x4); in boot_to_kernel()
424 void bl31_prepare_kernel_entry(uint64_t k32_64) in bl31_prepare_kernel_entry() function