Searched refs:bl31_entry (Results 1 – 1 of 1) sorted by relevance
192 static void bl31_entry(uintptr_t bl31_entry, uintptr_t bl32_entry, in bl31_entry() function195 atf_entry_t atf_entry = (atf_entry_t)bl31_entry; in bl31_entry()295 bl31_entry(spl_image->entry_point, bl32_entry, in spl_invoke_atf()
Completed in 3 milliseconds