Searched refs:bl31_prepare_kernel_entry (Results 1 – 4 of 4) sorted by relevance
38 void bl31_prepare_kernel_entry(uint64_t k32_64);
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